Kripke–Platek set theory with urelements
article-link
What links here
Axiom schema
Universal instantiation
article-link
Propositional formula
article-link
Kripke–Platek set theory
article-link
Predicate variable
article-link
Löb's theorem
article-link
Interpretability logic
article-link
Von Neumann–Bernays–Gödel set theory
article-link
Deduction theorem
article-link
Metalanguage
article-link
Formal system
article-link
Mereology
article-link
List of mathematical logic topics
article-link
Zermelo set theory
article-link
Sequent calculus
article-link
Rule of inference
article-link
Ramsey's theorem
article-link
Intuitionistic logic
article-link
Zermelo–Fraenkel set theory
article-link
Forcing (mathematics)
article-link
Equality (mathematics)
article-link
Axiom schema of specification
article-link
Axiom of pairing
article-link
Axiom schema of replacement
article-link
Schema
article-link
Peano axioms
article-link
Presburger arithmetic
article-link
Naive Set Theory (book)
article-link
Mathematical induction
article-link
Propositional logic
article-link
First-order logic
article-link
Axiom
article-link