دسترسی به این تاربرگ بسته شده است.
دیسه‌ای
∃𝐸 ∀𝑥(𝑥∉𝐸)
∃E ∀x(x∉E)


تاربرگ‌های پیموده‌شده در این نشست: پایارا ⟩ Zur Logik der Modalitäten ⟩ رونالد ریوست ⟩ درباره‌ی نماردن ⟩ دستگاه فروهازشی ⟩ آلن راس اندرسون