Axiom of infinity


تاربرگ‌های پیموده‌شده در این نشست: Axiom of Replacement ⟩ An Introduction to Modal Logic ⟩ A⥽(B∨¬B)