Formal consistency in a logic system doesn't establish that the system accurately models reality or ...
This proposition has not been edited since the history system was added.