Property identity criteria in formal logic typically presuppose extensionality when defining coexten...
This proposition has not been edited since the history system was added.