ünlü matematikçi kurt gödel' in, çağdaşı hilbert' in, matematikteki tüm ispatları aksiyomatik bir sistemle elde edebileceği savını çürüttüğü teorem.
--spoiler--
1. elementer aritmetik içeren aksiyomatik bir sistem tutarlı ise eksiksiz değildir.
2. elementer aritmetik içeren aksiyomatik bir sistemin tutarlılığını sistemin kendi içinden ispatlamak mümkün değildir.
--spoiler--
