Working Foundations
- Peano axioms
- Giuseppe Peano
- Mathematical induction
- Structural induction
- Recursive definition
- Naive set theory
- Element (mathematics)
- Ur-element
- Singleton (mathematics)
- Simple theorems in the algebra of sets
- Algebra of sets
- Power set
- Empty set
- Non-empty set
- Empty function
- Element (mathematics)
- Universe (mathematics)
- Axiomatization
- Axiomatic system
- Axiom schema
- Axiomatic method
- Formal system
- Mathematical proof
- Direct proof
- Reductio ad absurdum
- Proof by exhaustion
- Constructive proof
- Nonconstructive proof
- Tautology
- Consistency proof
- Arithmetization of analysis
- Foundations of mathematics
- Formal language
- Principia Mathematica
- Hilbert's program
- Impredicative
- Definable real number
- Algebraic logic
- Boolean algebra (logic)
- Dialectica space
- categorical logic
Read more about this topic: List Of Mathematical Logic Topics
Famous quotes containing the words working and/or foundations:
“The finest workers in stone are not copper or steel tools, but the gentle touches of air and water working at their leisure with a liberal allowance of time.”
—Henry David Thoreau (1817–1862)
“Society is held together by our need; we bind it together with legend, myth, coercion, fearing that without it we will be hurled into that void, within which, like the earth before the Word was spoken, the foundations of society are hidden.”
—James Baldwin (1924–1987)