Working mathematicians develop and apply formal systems without needing metaphysical commitments to ...
This proposition has not been edited since the history system was added.