All mathematical claims ultimately reduce to provability within some formal system; there is no 'str...
This proposition has not been edited since the history system was added.