Axiom schema of separation


تاربرگ‌های پیموده‌شده در این نشست: Axiom of pairing ⟩ absurd ⟩ Alan Turing