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:
“Dad, if you really want to know what happened in school, then you’ve got to know exactly who’s in the class, who rides the bus, what project they’re working on in science, and how your child felt that morning.... Without these facts at your fingertips, all you can really think to say is “So how was school today?” And you’ve got to be prepared for the inevitable answer—”Fine.” Which will probably leave you wishing that you’d never asked.”
—Ron Taffel (20th century)
“For me, it is as though at every moment the actual world had completely lost its actuality. As though there was nothing there; as though there were no foundations for anything or as though it escaped us. Only one thing, however, is vividly present: the constant tearing of the veil of appearances; the constant destruction of everything in construction. Nothing holds together, everything falls apart.”
—Eugène Ionesco (b. 1912)