Disputed axioms introduce non-standard models where cardinal representation may fail, so calling it ...
This proposition has not been edited since the history system was added.