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:

    “To get away from one’s working environment is, in a sense, to get away from one’s self; and this is often the chief advantage of travel and change.”
    —Charles Horton Cooley (1864–1929)

    “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)