Example image of eyePlorer eyePlorer map for 'Existential quantification': Predicate logic Universal quantification Natural number Logical disjunction Mathematical logic Solution Parity (mathematics) Domain of discourse Logical conjunction E Sans-serif Symbolic logic Set (mathematics) Rule of inference Empty set Alternating finite automaton Skolem normal form Witness (mathematics) Axiom of empty set Axiom of pairing Axiom of power set Axiom of union Bounded function Existence theorem Lindström quantifier Monadic Boolean algebra True quantified Boolean formula Axiom of infinity Cook–Levin theorem Logical possibility Noneism Nothing Algebraic logic Conjunctive query Formula game Pierce–Birkhoff conjecture Type variable Domain relational calculus E (disambiguation) Paracompact space Projection (relational algebra) Temporal logic Tychonoff space Axiom schema of specification Uniqueness quantification Clausal normal form Constructivist analysis SETL Hausdorff space Robinson arithmetic