Axiom of Replacement


تاربرگ‌های پیموده‌شده در این نشست: Arend Heyting ⟩ A⥽(B∨¬B) ⟩ Axiom KP ⟩ Alan Turing ⟩ Axiom schema of separation