Continuum hypothesis
Barcan formula
Buridan formula
Controversial formulas in Quantified Modal Logic
case study
metalanguage
France
Theorem
Gödel's completeness theorem
Gödel's second incompleteness theorem
Deduction theorem
Compactness Theorem
Löwenheim Theorem
Löwenheim-Skolem Theorem
Upward Löwenheim-Skolem Theorem
Downward Löwenheim-Skolem Theorem
Model existence theorem
Gödel's first incompleteness theorem
Some Theorems About the Sentential Calculi of Lewis and Heyting
philosophy
Philosophy
Philosophy of Mathematics
Philosophy of Language
Ordinary language philosophy
Hegel's philosophy
Kant philosophy
Natural Deduction
Frege-Łukasiewicz
Frege
Fregean
Friedrich Nietzsche
Philosophy of language
Felix Hausdorff
Pythagoreanism