Example image of eyePlorer eyePlorer map for 'Axiom schema of specification': Axiom Axiom schema Computer science Logic Mathematics Set theory Zermelo–Fraenkel set theory Subclass (set theory) Variable (mathematics) Existential quantification If and only if Logical conjunction Predicate (mathematical logic) Set (mathematics) Axiom of extensionality Subset Set-builder notation Alternative set theory Naive set theory New Foundations Positive set theory Semiset Kripke–Platek set theory with urelements Axiom schema of replacement Functional predicate Axiom of empty set Empty set Classical logic Russell's paradox Class (set theory) Von Neumann–Bernays–Gödel set theory Theorem Intersection (set theory) Type theory Higher-order logic Second-order logic Willard Van Orman Quine Stratification (mathematics) Axiom schema of predicative separation Axiom of limitation of size Universal set Diaconescu's theorem Kripke–Platek set theory Axiom of union Affine logic Constructive set theory Ackermann set theory Hartogs number General set theory Zermelo set theory