A⥽(B⥽B)


تاربرگ‌های پیموده‌شده در این نشست: A⥽(B⥽B) ⟩ Ptolemy ⟩ Alan Turing ⟩ Axiom of Replacement ⟩ Admissible rule ⟩ Axiom schema of separation