# Category:Mathematical logic stubs

Jump to navigation
Jump to search

This category is maintained by WikiProject Stub sorting.Please propose new stub templates and categories before creation.here |

This category is for stub articles relating to Mathematical logic. You can help by expanding them. To add an article to this category, use `{{Mathlogic-stub}}` instead of `{{stub}}` . |

Portal - Article - Category - WikiProject - Logic Stubs - Math-logic stubs - Deletions - Cleanup - Noticeboard - New articles

## Subcategories

This category has the following 2 subcategories, out of 2 total.

## Pages in category "Mathematical logic stubs"

The following 108 pages are in this category, out of 108 total. This list may not reflect recent changes (learn more).

### A

### B

### C

- Cantor–Dedekind axiom
- Centered set
- Chang's conjecture
- Class logic
- Classical mathematics
- Coherent space
- Complete theory
- Completeness of atomic initial sequents
- Computable isomorphism
- Computable measure theory
- Computable real function
- Conservativity theorem
- Constructive non-standard analysis
- Continuous function (set theory)
- Continuum (set theory)
- Convergence (logic)
- Countryman line
- Cyclic negation