If informal provability requires appeal to metatheoretic reasoning, it's still formal reasoning by a...
This proposition has not been edited since the history system was added.