Axioms
Including postulates ^[why?]
In order of usage frequency
Total: 28
Total redundant axioms: 4 ^[why?]
Total terminal axioms: 5

8 {1a04 causa effectus cognitio} redundant
5 {1a01 vel se alio}
5 {1a06 idea convenire}
4 {2a3.1 corporis affecti afficientis}
4 {2post03 externis plurimis modis afficitur}
3 {2a1.1 Hominis essentia non involvit existentiam} redundant
3 {2a1.3 Modi cogitandi idea rei}
3 {3post01 multis affici modis agendi potentia} redundant
2 {1a03 causa effectus}
2 {2post01 plurimis individuis}
2 {2post04 regeneratur}
2 {2post06 corpora externa movere}
2 {4a Nulla res potentior non detur alia}
1 {1a05 commune intelligi}
1 {1a07 essentia existentia}
1 {2a1.2 Homo cogitat}
1 {2a1.4 affici sentimus}
1 {2a1.5 sentimus corpora cogitandi modos}
1 {2a2.1 corpora moventur quiescunt}
1 {2a3.2 angulus line motus reflectionis}
1 {2a3.3 dura mollia fluida}
1 {2post05 in aliam mollem imprimit}
1 {5a01 contrari actiones}
0 {1a02 Id quod non per aliud, per se}
0 {2a2.2 tardius celerius}
0 {2post02 fluida mollia dura}
0 {3post02 retinere objectorum impressiones}
0 {5a02 Effectus potentia definitur causae} redundant