Riječ je o daljnjim filozofskim razmatranjima teorema nepotpunosti, odnosno njegove osnovne filozofske posljedice da je matematička istina mehanički nedohvatljiva. Za nešto više o tehničkom dijelu teorema možete pogledati raniji post. U ovom je postu prije glavnog dijela dodan rezime matematičkog dijela, a ponovljen je i argument iza osnovne filozofske posljedice.