axiom of extensionality

(from the article `mathematics, foundations of`) ...asserts that, for every (formula or statement), there should exist a set such that, for all , if and only if () is true. Moreover, by the ... ...with each other, even if they are specified by different conditions; i.e., identity of classes is identity of membership, not identity o...
Found on
No exact match found