Gödels sætning
Gödels sætning, Kurt Gödels første ufuldstændighedssætning, en af de vigtigste og mest overraskende sætninger i matematisk logik. Den siger, at ethvert modsigelsesfrit formelt system, som er omfattende nok til at kunne udtrykke visse elementære dele af aritmetikken, vil være ufuldstændigt