TWIERDZENIE GODLA

Nim omówimy samo twierdzenie Godla, należy opisać jeszcze dwa bardzo istotne problemy wprowadzające do dalszej lektury. Czytelnik musi wiedzieć jak to się stało, że powstały Principia Mathematica oraz umieć zobrazować system dedukcyjny i wyjaśnić w jaki sposób można tego dowieść. Wszystkie dowody matematyczne – szczególnie te, które odpowiadają powszechnie przyjętym zasadom tej dyscypliny – mają w sobie bardzo istotną lukę. Wykorzystywane są w nich takie zasady, które nie zostały jeszcze sformułowane i których matematycy sobie nie uświadomili. Dobrym przykładem jest teoria Euklidesa mówiąca o tym, że nie istnieje coś takiego jak liczba pierwsza. Są to tzw. systemy kodyfikacji logiki  formalnej.