# Category:Mathematical logic

*https://en.wikipedia.org/wiki/Category:Mathematical_logic*

Wikimedia Commons has media related to Mathematical logic. |

Mathematical logic has several meanings in common usage. It originally referred to symbolic or formal logic, and then came to be associated with the study of the logical (and even philosophical) foundations of mathematics. In contemporary use by mathematical logicians, the term refers to several branches of pure mathematics whose study involves careful attention to formal axiom systems and formal definability.

Mathematical logic is divided into four parts:

- Model theory
- Proof theory
- Recursion theory, also known as computability theory
- Set theory

The divisions between these areas, along with the divisions between mathematical logic and the rest of mathematics, are not completely sharp, with many areas of research and methods overlapping and reinforcing each other.

## Subcategories

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

### *

### A

### B

### C

### F

- Forcing (mathematics) (23 P)
- Formal theories of arithmetic (18 P)

### H

### I

- Independence results (16 P)

### L

### M

### N

### O

### P

### Q

- Quantification (science) (23 P)

### R

### S

- Substitution (logic) (3 P)

### T

### Σ

## Pages in category "Mathematical logic"

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

### A

### B

### C

### E

- Elementary definition
- Elementary sentence
- Elementary theory
- End extension
- Entitative graph
- Entscheidungsproblem
- Enumeration
- Enumeration reducibility
- Equality (mathematics)
- Equational logic
- Equiconsistency
- Explicit mathematics
- Extension by definitions
- Extension by new constant and function names
- Extensions of First Order Logic

### F

### G

### H

### I

### L

### M

### O

### P

### R

### S

- Schröder–Bernstein property
- Semicomputable function
- Simplification of disjunctive antecedents
- Slicing the Truth
- Solèr's theorem
- Special case
- Stratification (mathematics)
- Strength (mathematical logic)
- Structural induction
- Structuralism (philosophy of mathematics)
- Structure (mathematical logic)
- Subitizing
- Successor function
- Superposition calculus
- Surreal number
- Glossary of mathematical symbols
- List of mathematical symbols by subject