Estos teoremas mostraban que, aunque un sistema de axiomas recursivos estuvieran bien definidos y fueran consistentes, los sistemas axiomáticos con esos sistemas de axiomas adolecen de limitaciones graves.