EntityQ1644136· pop 13· linked from 388 articleshigher-order logicSign in to saveform of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semanticsConnectionsfirst-order logicEntitysemantic theory of truthEntitymathematical logicEntitypropositional calculusEntitypower setEntityquantifierEntityaleph numberEntityformal systemEntityrecursive setEntitysoundnessEntitysemantics of logicEntitystructureEntitydiagramEntityground expressionEntitymathematicsEntitylogicEntityBertrand RussellEntityInternational Standard Book NumberEntitynatural numberEntityset theoryEntityCategoriesPredicate logicSystems of formal logic