Axiom of the power set



تاربرگ‌های پیموده‌شده در این نشست: A Survey of Symbolic Logic Anita Wasilewska ∧ Elimination Affirming the consequent Aristotle’s Logic