Aprioorsus
Sest on võimalik ette kujutada sümbolismi, milles
iga analüütilist propositsiooni võib pidada analüütiliseks ainuüksi
ta vormi tõttu.
See, et analüütilise propositsiooni kehtivus ei sõltu kuidagi sel-
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-