Atomic formula Atomic sentence Domain of discourse Empty domain Extension (predicate logic) First-order logic First-order predicate Formation rule Free variables and bound variables Generalization (logic) Monadic predicate calculus Predicate (mathematical logic) Predicate logic Predicate variable Quantification Second-order predicate Sentence (mathematical logic) Universal instantiation