Many mathematically rigorous, formally necessary structures (e.g., infinitesimals) remain instrument...
This proposition has not been edited since the history system was added.