Claiming M is 'apprehended' informally presupposes the very conceptual apparatus that formal axioms ...
This proposition has not been edited since the history system was added.