بنداشت هنگرد توانی

دیسه‌ای
∀𝑆 ∃𝑃 ∀𝑥(𝑥∈𝑃 ⇔ 𝑥⊂𝑆)
∀S ∃P ∀x(x∈P ⇔ x⊂S)


تاربرگ‌های پیموده‌شده در این نشست: Downward Löwenheim-Skolem Theorem Semantic theories Theories of Meaning Edmund Husserl