Proof limitations reflect current mathematical tools, not reality. Gödel showed formal systems can't...
This proposition has not been edited since the history system was added.