axiomatization


تاربرگ‌های پیموده‌شده در این نشست: Axiom KP ⟩ Admissible rule