Model M's axioms may be consistent yet incomplete regarding standard arithmetic, so 'totality in M' ...
This proposition has not been edited since the history system was added.