Kata Kunci Pencarian:
- Ibnu Sina
- Berpikir kritis
- Kesesatan
- Nama
- Liga Dosen Sosialis Nasional Jerman
- Aksioma Peano
- Platonisme
- Kuantifikasi semesta
- Teorema ketaklengkapan Gödel
- Gerhard Gentzen
- Sequent calculus
- Gentzen's consistency proof
- Hilbert's second problem
- Natural deduction
- Mathematical logic
- Double-negation translation
- Sequent
- Cut-elimination theorem
- Proof theory
