The restriction to sets for order types is a convention of ZFC, not a metaphysical fact about orderi...
This proposition has not been edited since the history system was added.