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
Please find linked: Logic 01 I