Uzbraucienu? Ak, šī bezrūpīgā negatīvā predispozīcija.

"Sāksim ar to, ka nav iespējams..." - labi. To mēs varētu likt kā otro rindkopu, aiz definīcijas... Pavei - tur kaut kas tāds jau visu laiku stāv rakstīts

Es par varītēm centos tieši to arī pasvītrot - ka par dabu mēs zinām daudz mazāk nekā par pašu radītām formālām sistēmām. Šis "daudz mazāk" arī sastāda principiālu atšķirību. (Precīzāk gan, vēlreiz - tēma ir likumi. Konkrēti apgalvojumi, kurus saucam par spēkā esošiem. Un diskursi par matemātikas teoriju kopumā ar visiem tajā definējamajiem jautājumiem, starp kuriem, zināms, ir arī neatbildami, ir ne par tēmu un drusciņ duļķo ūdeni.)