Equivalence within Predicate Logic + Identity

See also  Transition of Mathematical Propositions