systemem aksjomatycznym. W latach dwudziestych naszego stulecia panowało powszechne przekonanie (tak sądził m.in. wielki matematyk Dawid Hilbert), że całą matematykę można przedstawić w postaci jednego wielkiego systemu aksjomatycznego. Miał rację mój znajomy: matematyka sprowadza się do nudnego<br>procederu. <br> A jednak tak nie jest. Na początku lat trzydziestych austriacki matematyk Kurt Gödel udowodnił twierdzenie, które potem zostało ochrzczone jego nazwiskiem i które wielu myślicieli jest skłonnych uważać za najważniejsze osiągnięcie matematyki XX w. Twierdzenie Gödla można wyrazić bardzo prosto: układ aksjomatów dla każdej teorii matematycznej, która jest przynajmniej tak bogata jak arytmetyka (może to więc być sama arytmetyka), jeżeli jest niesprzeczny