A formula's invalidity in a system reflects only that system's proof rules, not metaphysical truth. ...
This proposition has not been edited since the history system was added.