Aristoteles
Ibnu_Sina
Bertrand_Russell
Muhammad_al-Ghazali
Logika
Georg_Wilhelm_Friedrich_Hegel
Sintaksis
Tak_hingga
John_von_Neumann
Semantik
Ilimu_siku_capang_siku_capeh
Bapikia_kritis
Filsafat_matematika