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:
“A playwright ... is ... the litmus paper of the arts. He’s got to be, because if he isn’t working on the same wave length as the audience, no one would know what in hell he was talking about. He is a kind of psychic journalist, even when he’s great.”
—Arthur Miller (b. 1915)
“Neutrality is a negative word. It does not express what America ought to feel.... We are not trying to keep out of trouble; we are trying to preserve the foundations on which peace may be rebuilt.”
—Woodrow Wilson (1856–1924)