Necessity is retrospective: foundations matter when mathematics reaches sufficient complexity; their...
This proposition has not been edited since the history system was added.