# Category:Mathematical Logic

Jump to navigation
Jump to search

This category contains results about **Mathematical Logic**.

Definitions specific to this category can be found in Definitions/Mathematical Logic.

**Mathematical logic** is a sub-branch of symbolic logic in which the foundations of the assumptions upon which rest mathematics itself are investigated and made rigorous.

## Subcategories

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

### 1

- 1+1 = 2 (3 P)

### A

- Algebraic Logic (empty)

### C

- Choice Principles (9 P)
- Compactness Theorem (4 P)

### F

### G

### M

### P

- Proof Theory (4 P)

### R

### W

## Pages in category "Mathematical Logic"

The following 13 pages are in this category, out of 13 total.