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 12 subcategories, out of 12 total.
A
C
F
M
P
R
T
Pages in category "Definitions/Mathematical Logic"
The following 74 pages are in this category, out of 74 total.
B
C
G
- Definition:Gentzen Proof System
- Definition:Gentzen Proof System/Instance 1
- Definition:Gentzen Proof System/Instance 1/Alpha-Rule
- Definition:Gentzen Proof System/Instance 1/Alpha-Rule/Notation
- Definition:Gentzen Proof System/Instance 1/Beta-Rule
- Definition:Gentzen Proof System/Instance 1/Beta-Rule/Notation
M
- Definition:Mathematical Induction
- Definition:Mathematical Logic
- Definition:Mathematical Philosophy
- Definition:Mathematical Theory
- Definition:Minimal Arithmetic
- Definition:Minimization
- Definition:Minimization/Function
- Definition:Minimization/Partial Function
- Definition:Minimization/Relation
- Definition:Model Theory
P
- Definition:Partial Function
- Definition:Partial Function Equality
- Definition:Prime Enumeration Function
- Definition:Prime Exponent Function
- Definition:Primitive Recursion
- Definition:Primitive Recursion/One Variable
- Definition:Primitive Recursion/Partial Function
- Definition:Primitive Recursion/Several Variables
- Definition:Primitive Recursive
- Definition:Primitive Recursive Function
- Definition:Primitive Recursive Relation
- Definition:Primitive Recursive Set
- Definition:Primitive Recursive/Function
- Definition:Primitive Recursive/Relation
- Definition:Primitive Recursive/Set
- Definition:Proof Theory