Category:Definitions/Mathematical Logic
Jump to navigation
Jump to search
This category contains definitions related to Mathematical Logic.
Related results can be found in Category: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 21 subcategories, out of 21 total.
A
- Definitions/Algebraic Logic (1 P)
C
D
F
G
- Definitions/Gödel Numbers (1 P)
H
- Definitions/Halting Problem (1 P)
M
N
P
- Definitions/Peano Arithmetic (1 P)
- Definitions/Peano Structures (10 P)
R
T
Pages in category "Definitions/Mathematical Logic"
The following 35 pages are in this category, out of 35 total.