EntityQ592911· pop 44· linked from 759 articlesquantifierSign in to savelogical operator specifying how many entities in the domain of discourse that satisfy an open formulaConnectionslogical disjunctionEntityfirst-order logicEntityexistential quantificationEntitysemantics of logicEntityfree and bound variablesEntitysemantic theory of truthEntityset theoryEntityreal numberEntitymathematical logicEntitysyllogismEntityGödel's incompleteness theoremsEntityPeano axiomsEntityformal systemEntityirrelevant conclusionEntityuniversal quantificationEntityZermelo–Fraenkel set theoryEntityanecdotal evidenceEntitypredicateEntitylogical equivalenceEntitytype theoryEntityCategoriesLogicPhilosophical logicPredicate logicQuantifier (logic)Semantics