О небе   ::   Аристотель

Скажем, возьмем тяжесть, обозначенную Е, соизмеримую с тяжестью Г, и отнимем от бесконечного [тела величину], имеющую тяжесть, обозначенную Е., скажем ВД, а затем допустим, что ВД относится к другой величине, скажем BZ, так же, как тяжесть к тяжести: раз величина бесконечна, то от нее можно отнять какое угодно количество. Если принять эти условия, то и величины и тяжести будут соизмеримы между собой.

Однородна ли величина по тяжести или неоднородна – также не имеет никакого значения для [нашего] доказательства, поскольку всегда можно будет взять от бесконечного тела равнотяжелые [величины] ВА, отнимая или прибавляя какие угодно количества.

Таким образом, из сказанного ясно, что тяжесть бесконечного тела не может быть конечной. Значит, она бесконечна. Если же это невозможно, то и существование бесконечного тела невозможно, А что бесконечная тяжесть действительно существовать не может, очевидно из следующего. [А] Если такая-то тяжесть проходит такое-то расстояние за такое-то время, то такая-то плюс N – за меньшее и пропорция, в которой относятся между собой времена, будет обратной к той, которой относятся между собой тяжести. Например, если половинная тяжесть – за такое-то [время}, то целая – за его половину. [В] Кроме того, конечная тяжесть пройдет всякое конечное расстояние за некоторое конечное время.