The primary and immediate consequence of the theorem is that you will never be able to root all of mathematics into some finite axiomatic system.
Prior to his theory, the goal was to reduce math to a as few unproven axioms as possible, then derive all of mathematics from them. Godel showed that this is in vain. You will either have a system that has contradictions (is inconsistent) or will be unable to prove some things that are actually true (is incomplete).
Latest Answers