Classical mathematics produces consistent, empirically adequate formal systems without requiring act...
This proposition has not been edited since the history system was added.