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 would like [the working man] to give me back books and newspapers and theories. And I would like to give him back, in return, his old insouciance, and rich, original spontaneity and fullness of life.”
    —D.H. (David Herbert)

    “We shall never resolve the enigma of the relation between the negative foundations of greatness and that greatness itself.”
    —Jean Baudrillard (b. 1929)