Logic

Please find linked: Logic 01 I

  • Axiom
  • Proof
  • Classical
  • Intuitionistic
  • Sentence
  • Theory
  • Consistent
  • Complete
  • (1928 Hilbert, Wilhelm Ackermann) Mathematics Axiom program
  • (1931 Gödel) Recursive arithmetic theory incomplete
  • Tarski