The distinction between 'syntactic' and 'extensional' is itself unclear—syntax is extensionally defi...
This proposition has not been edited since the history system was added.