The distinction assumes mathematics is independent of formal systems, but all mathematical reasoning...
This proposition has not been edited since the history system was added.