Besonderhede van voorbeeld: 253235300018557357

English

For any such system, there will always be statements about the natural numbers that are true, but that are unprovable within the system.

Norwegian Nynorsk

Teorema seier at i kvart matematisk aksiomsystem sterkt nok til å uttrykke vanleg aritmetikk, vil det alltid finnast sanne påstandar som ikkje er mogeleg å bevise.