 The first axiom is sometimes known as Reflexivity, and the second is known as the Indiscernibility of Identicals. When combined, they enable one to derive the symmetry and transitivity of identity as immediate  consequences.[6]