Ele não estava fazendo aquilo só por diversão: o ponto era codificar uma sentença metamatemática em particular -aquela que faria as paredes ruírem.