Continuum hypothesis
Barcan formula
Buridan formula
Controversial formulas in Quantified Modal Logic
case study
metalanguage
Metaphysics
Metaphysics, A Contemporary Introduction
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
Natural Deduction
Frege-Łukasiewicz
Frege
Fregean
Kant philosophy
Philosophy of Language
Philosophy of language
Ordinary language philosophy
philosophy of mathematics
Philosophy of Mathematics
Felix Hausdorff
Common Sense
Pythagoreanism