List of Mathematical Logic Topics - Working Foundations

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
  • 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:

    “I meet him at every turn. He is more alive than ever he was. He has earned immortality. He is not confined to North Elba nor to Kansas. He is no longer working in secret. He works in public, and in the clearest light that shines on this land.”
    —Henry David Thoreau (1817–1862)

    “Honorable Senators: My sincerest thanks I offer you. Conserve the firm foundations of our institutions. Do your work with the spirit of a soldier in the public service. Be loyal to the Commonwealth and to yourselves and be brief; above all be brief.”
    —Calvin Coolidge (1872–1933)