Axiom schema of separation


تاربرگ‌های پیموده‌شده در این نشست: Aristotle ⟩ Axiom of Foundation ⟩ Avicenna ⟩ Aristotle’s Logic ⟩ A⥽(B∨¬B) ⟩ Arend Heyting