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)

't Is not necessary to burden the page title with this. It is also not necessary to work hard on this page, seeing as it's from Gaisi-Takeuti, which means it is up for a complete overhaul at some point. — Lord_Farin (talk) 20:47, 3 November 2014 (UTC)