Axiom of pairing



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