Equality Axioms of Peano Arithmetic