# 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 15 subcategories, out of 15 total.

### 1

### A

### C

### F

### M

### P

### R

### S

### T

### W

## Pages in category "Mathematical Logic"

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