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:

    “Comes from a fine family. So she tells me. Brother’s a priest, all that. But, you know, death, disaster, unfortunate investments. One day she’s a little princess, up on the hill. Next, she’s down there, working the bars for the best she can.”
    —Peter Prince, British screenwriter, and Stephen Frears. Harry (Bill Hunter)

    “Vary the pace ... is one of the foundations of all good acting.”
    —Ellen Terry (1847–1928)