Introduction
References
Related Works
First-Order Logic
1.
Term and Formula
1.1.
Binder Notation
2.
Deduction System
3.
Semantics
4.
Completeness
5.
Arithmetics
5.1.
Theories of Arithmetics
5.2.
Theory IΣ₀
5.3.
Theory IΣ₁
5.4.
Gödel's First Incompleteness Theorem
5.5.
Gödel's Second Incompleteness Theorem
6.
Interpretation
Light
Rust
Coal
Navy
Ayu
Formalized Formal Logic
First-Order Logic
TODO: