Zadanie jest dość skomplikowane.
Należy wyjść od tego, że w 1932 roku niejaki Godel udowodnił twierdzenie o nierozstrzygalności: każdy system aksjomatyczny, zawierający arytmetykę liczb naturalnych jest albo sprzeczny( istnieje twierdzenie jednocześnie prawdziwe i fałszywe), albo niezupełny.
Należy znaleźć twierdzenie z arytmetyki liczb naturalnych, którego nie da się udowodnić na gruncie liczb naturalnych (orzeka o Herosie- prowadzący coś wspominał)
Godel/twierdzenie
Otrzymałeś(aś) rozwiązanie do zamieszczonego zadania? - podziękuj autorowi rozwiązania! Kliknij