Axiom schema of separation


تاربرگ‌های پیموده‌شده در این نشست: The Laws of Thought ⟩ Syntactical completeness ⟩ Axiom of Replacement ⟩ Russell's paradox ⟩ Peano arithmetics ⟩ tableaux