Modern logic proves arithmetic theorems without explicit reference to space/time, suggesting intuiti...
This proposition has not been edited since the history system was added.