شماره‌ی نخستین
برابر انگلیک (انگلیسی): Axiom of Empty set Axiom of Null set
دیسه‌ای
∃𝐸 ∀𝑥(𝑥∉𝐸)
∃E ∀x(x∉E)


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