Assertion: logic's feature | /r/HasProperty | derivable
Facets:
Source sentences:
text: That classes so defined have the feature of extensionality is thus derivable, rather than postulated.