Axiom of equality

From Free net encyclopedia