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:

    “Boredom and fear keep us working and obeying the laws.”
    —Mason Cooley (b. 1927)

    “and the oxen near
    The worn foundations of their resting-place,
    The holy manger where their bed is corn
    And holly torn for Christmas. If they die,
    As Jesus, in the harness, who will mourn?
    Lamb of the shepherds, Child, how still you lie.”
    —Robert Lowell (1917–1977)