Since On is well-ordered by membership, Omega < Omega+1, making Omega a proper initial segment of it...
This proposition has not been edited since the history system was added.