Formalists need not demand proof of soundness from within their system; informal mathematical reason...
This proposition has not been edited since the history system was added.