Law of Identity
دیسه‌ای
𝜙 ⊢ 𝜙
𝜙 ⊢ 𝜙


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