Aprioorsus
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
õpetada midagi olemuslikult uut ning kui kõik peab lähtuma sama-
14
Alfred J. Ayer
susprintsiibist, peab kõik olema ka sellele taandatav. Ent kas me
tõepoolest saame lubada, et kõigil neil teoreemidel, mis täidavad
ära nii palju raamatuid, pole muud eesmärki kui kaudselt öelda, et
`A=A'?" (Poincar´e 1914: I osa, ptk i). Poincar´e peab seda usku-
matuks. Tema oma teooria ütleb, et leiutamise ja avastamise tun-
ne matemaatikas kuulub sinna matemaatilise induktsiooni tõttu,
printsiibi tõttu, et see, mis on tõene arvu 1 korral ja tõene n + 1
annaabi.ee 
