SayılarGödel kanıtlamasının üzerine yazılmış anlaşılır bir kitap yorumlaması bazı yerlerde yetersiz kalıyor fakat biçimsel dizgenin tutarlılığını, bu dizgenin içinde kanıtlanamayacağını da kanıtlamasını harika ele alıyor. Genel olarak çürütme ve yerini doldurma üzerine ilerleyen bir süreç.