Cantor's Burali-Forti paradox shows that assuming On is a set leads to contradiction, so ZFC correct...
This proposition has not been edited since the history system was added.