Avicenna
(980 – 1037)


تاربرگ‌های پیموده‌شده در این نشست: Axiom of Foundation ⟩ Arend Heyting ⟩ Axiom KP ⟩ Aristotle