دسترسی به این تاربرگ بسته شده است.

دیسه‌ای
∀𝐴 ∃𝐵 ∀𝑥(𝑥∈𝐵 ⇔ 𝑥∈𝐴 ∧ φ(𝑥))
∀A ∃B ∀x(x∈B ⇔ x∈A ∧ φ(x))


تاربرگ‌های پیموده‌شده در این نشست: دمداشت: گویایی پیوند و بایستگی بنداشت گزینش شاون هدمن گویایی‌های پیوند