Modern set theory (ZFC) avoids this by distinguishing: On is a proper class, not a set, so Omega ∉ O...
This proposition has not been edited since the history system was added.