From within L, the claim that 'all cardinals satisfy L's conditions' is trivially true but uninforma...
This proposition has not been edited since the history system was added.