One can coherently define an 'absolute order type' of On in extended frameworks (like Morse-Kelley s...
This proposition has not been edited since the history system was added.