- Bakteri
- Algoritma
- Teori himpunan
- Operator logika
- Paul Levi
- Leopold Kronecker
- Teorema ketaklengkapan Gödel
- Metamatematika
- Bilangan ordinal
- Leon Trotski
- Jean van Heijenoort
- Russell's paradox
- Impredicativity
- History of the function concept
- Intuitionism
- Consistency
- Law of thought
- Mathematical logic
- Law of excluded middle
- Gödel's incompleteness theorems
