Extension by new constant and function names
article-link
What links here
Conservative extension
Admissible rule
article-link
Internal set theory
article-link
Interpretability
article-link
Computability logic
article-link
Von Neumann–Bernays–Gödel set theory
article-link
List of mathematical logic topics
article-link
Finitism
article-link
Zermelo–Fraenkel set theory
article-link
Equality (mathematics)
article-link
Philosophy of mathematics
article-link
Class (set theory)
article-link
Axiom
article-link