Avicenna
(980 – 1037)


تاربرگ‌های پیموده‌شده در این نشست: Admissible rule ⟩ Axiom of choice ⟩ Abelian Group ⟩ axiomatization