Se S è un sistema formale corretto, in grado di esprimere una certa porzione di aritmetica, allora esiste un enunciato Gs formulato nel linguaggio L del sistema, tale che Gs è indecidibile in S, ossia né dimostrabile né refutabile
#tuttipazzipergödel
#Gödel