ad
alia pervestiganda,
quae alias non satis explicata, imo forte neque cognita habentur.
Lemma
§
54. Extensum quodlibet
ratione inextensi est infinite magnum.
Demonstratio
Inextensum nullam
habet dimensionem, consequenter nullum spacium occupat; contra vero extensum
quodlibet suam habet dimensionem adeoque occupat spacium, unde sequitur
ratione spacii inextensum esse ad extensum ut nihil ad aliquid, hoc est
inextensum ad extensum nullam habere rationem, non secus ac extensum finitum
ad extensum infinitum; quamobrem extensum quodlibet ratione inextensi est
infinite magnum. Q. e. d.
Theorema 4
§ 55. Particulae corporum
insensibiles physicae singulae sunt extensae.
Demonstratio
Ponamus enim
particulas insensibiles physicas non esse exten-sas, hoc est nullum spacium
occupare. Ergo corpora constituendo particulae illae se mutuo contingunt vel
non contingünt. In casu priore particula b posita in contactu cum
particula a nullum spatium extra illam occupabit, ergo cum eadem in unum
idemque
punctum coincidet; particula с posita in contactu cum particula b continget
etiam
particulam a et cum ea in idem punctum coincidet, quia contingit
particulam b et cum ea pari ratione coincidit, ut b cum a; particula
d, quoniam pari ratione
contingit particu-