Aprioorsus
oleksid alati paratamatud. Sest nende igasugune eitamine muudaks
end ise mõttetuks.
Seega näeme, et loogika ja matemaatika apodeiktilises kind-
luses ei ole midagi mõistatuslikku. Meie teadmine, et mingi
tähelepanek ei saa iialgi ümber lükata propositsiooni `7 + 5 =
12', sõltub lihtsalt sellest, et sümbolilisele väljendile `7 + 5' on
sünonüümiks `12' niisamuti, nagu meie teadmine, et iga okulist
on silmaarst, sõltub faktist, et sümbol `silmaarst' on sünonüümne
`okulistiga'. Ja sama seletus kehtib ka iga muu a priori tõe kohta.
Esmapilgul tundub mõistatuslikuna, et need tautoloogiad osu-
tuvad teinekord nii üllatavaks, et matemaatikas ja loogikas on
võimalik leiutamine ja avastamine. Nagu ütleb Poincar´e: "Kui
kõiki väiteid, mida matemaatika esitab, saab üksteisest tuletada
formaalloogika abil, ei saa matemaatika kokkuvõttes olla midagi
enamat kui tohutu tautoloogia. Loogiline tuletamine ei saa meile
annaabi.ee 
