Axiom of choice


تاربرگ‌های پیموده‌شده در این نشست: Admissible rule ⟩ axiomatization ⟩ affirm ⟩ A⥽(B⥽B) ⟩ Axiom of pairing ⟩ Anaximander