The absolute undefinability of large cardinals in smaller models suggests they mark genuine structur...
This proposition has not been edited since the history system was added.