Talk:Substitutivity of Equality

Rename request
Substitutivity, I believe, is essentially a logical axiom fundamental to the notion of equality. What this theorem demonstrates is that extensional equality satisfies that axiom and is therefore an acceptable definition of equality of sets for a set theory that does not consider equality a primitive. --Dfeuer (talk) 19:44, 11 March 2013 (UTC)