Aprioorsus
lest, kas ta on tuletatav teistest analüütilistest propositsioonidest,
õigustab, miks me ei pööra tähelepanu küsimusele, kas matemaati-
ka propositsioonid on taandatavad formaalloogika propositsiooni-
dele nii, nagu oletas Russell (vt Russell 1919: ptk ii). Sest isegi kui
kardinaalarvu definitsioon klasside klassina, mis on sarnane mingi
antud klassiga, on tsirkulaarne, ning matemaatilisi mõisteid pole
võimalik taandada puhtloogilistele mõistetele, jääb siiski tõeseks,
et matemaatika propositsioonid on analüütilised propositsioonid.
Nad moodustavad spetsiaalse analüütiliste propositsioonide klas-
si, mis sisaldab spetsiaalseid termineid, kuid nad pole seetõttu veel
sugugi vähem analüütilised. Sest analüütilise propositsiooni kri-
teerium on see, et selle kehtivus tuleneb lihtsalt selles sisalduvate
terminite definitsioonidest, ning seda tingimust puhta matemaati-
ka propositsioonid täidavad.
annaabi.ee 
