> You mean you can't make a system prove itself within its own bounds? No, that's not what the incompleteness theorem says. "proving a system" is not even mea

> You mean you can't make a system prove itself within its own bounds? No, that's not what the incompleteness theorem says. "proving a system" is not even meaningful. It says that in all but the most primitively simple systems, you can make statements that are impossible to prove right or wrong within the system.