Requiring mechanical completeness conflates epistemology with metaphysics; a proof can be semantical...
This proposition has not been edited since the history system was added.