Formal systems can be self-justifying through internal consistency; their validity need not depend o...
This proposition has not been edited since the history system was added.