Example image of eyePlorer eyePlorer map for 'Axiom schema': Axiom Mathematical logic Axiomatic system Well-formed formula First-order logic Free variables and bound variables Countable set Recursive Axiom schema of replacement Mathematical induction Natural number Peano axioms Set theory Zermelo–Fraenkel set theory Richard Montague Von Neumann–Bernays–Gödel set theory New Foundations Binary relation Property Second-order logic Axiom schema of predicative separation Axiom schema of specification Deductive system Kripke–Platek set theory Robinson arithmetic Rule of inference Zeroth-order logic Predicate variable Hilbert system Universal instantiation Kripke–Platek set theory with urelements BL (logic) Presburger arithmetic Formal system Gödel's incompleteness theorems Axiom of pairing Equality (mathematics) Tarski's axioms Metalanguage Functional predicate Reverse mathematics Monoidal t-norm logic Set-builder notation Schema Type theory General set theory Scott–Potter set theory Mereology Algebraic structure Proof of impossibility