Von Neumann–Bernays–Gödel set theory
article-link
What links here
Propositional function
Cantor's theorem
article-link
Modal logic
article-link
Zermelo set theory
article-link
Predicate
article-link
Existential quantification
article-link
Universal quantification
article-link
Russell's paradox
article-link
Principia Mathematica
article-link
Primitive notion
article-link