# 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

### C

- Compactness Theorem (1 P)
- Complexity Theory (4 P)

### F

### G

### M

### P

- Prime Enumeration Function (1 P)
- Proof Theory (empty)

### R

### S

- Some Choice (9 P)

### W

## Pages in category "Mathematical Logic"

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