Teoremene sier at i ethvert matematisk aksiomsystem sterkt nok til å uttrykke vanlig aritmetikk, vil det alltid finnes sanne påstander som det ikke er mulig å bevise.