پیش‌نیازها Set theory

Axiom of Extensionality


تاربرگ‌های پیموده‌شده در این نشست: An Interpretation of the Intuitionistic Propositional Calculus ⟩ Natural Deduction proof ⟩ Sub-classical logics ⟩ Gottlob Frege ⟩ Principia Mathematica ⟩ powerset