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:
“Daniel as a lad bought a handkerchief on which the Federal Constitution was printed; it is said that at intervals while working in the meadows around this house, he would retire to the shade of the elms and study the Constitution from his handkerchief.”
—For the State of New Hampshire, U.S. public relief program (1935-1943)
“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)