پیش‌نیازها Set theory

Lindenbaum's lemma

idea

Every consistent set of formulae has a maximal consistent superset.
Each consistent theory is contained in a maximally consistent theory.



تاربرگ‌های پیموده‌شده در این نشست: Friedrich Nietzsche ⟩ Kurt Gödel ⟩ Correspondence theory ⟩ Löwenheim Theorem ⟩ Luitzen Egbertus Jan Brouwer ⟩ converse of Barcan formula