The more famous of the two theorems says that if there are consistent axiomatic systems that are powerful enough to describe themselves, there will be things that are true in those systems that can not be proved within the system itself. 