Равным образом, ни [тело], движущееся к центру, ни [тело], движущееся от центра, не может быть бесконечным. В самом деле, движения вверх и вниз противоположны, а противоположные движения [направлены] в противоположные места. Между тем если одна из противоположностей ограничена, то и другая должна быть ограниченной. Центр ограничен, поскольку оседающее [тело] – откуда бы оно ни падало – [никогда] не может пройти дальше центра. Следовательно, раз центр ограничен, то и верхнее место по необходимости должно быть ограничено. А раз ограничены и конечны места, то и [находящиеся в них] тела должны быть конечны. Далее, если верх и низ ограничены, то и промежуток между ними должен быть ограничен. В самом деле, если он не ограничен, то движение было бы бесконечным, а что это невозможно – доказано выше. Следовательно, промежуток ограничен, а тем самым и тело, находящееся в нем или могущее оказаться. Между тем тела, движущиеся вверх и вниз, могут в нем оказаться, поскольку по своей природе одно из них движется от центра, а другое – к центру.
Из сказанного с очевидностью следует, что бесконечного тела существовать не может. Кроме того, есть еще одно доказательство, исходящее из того, что если тяжесть не может быть бесконечной, то – поскольку тяжесть бесконечного тела по необходимости должна быть также бесконечной – ни одно из этих тел не может быть бесконечным. (То же самое рассуждение будет иметь силу и в отношении легкости, ибо допущение бесконечной тяжести предполагает допущение бесконечной легкости, в случае если поднимающееся на поверхность [тело] будет бесконечным.) Доказывается это так.
Допустим, что [тяжесть бесконечного тела] конечна, и возьмем бесконечное тело, обозначенное АВ, с тяжестью, обозначенной Г. Отнимем от бесконечного [тела] конечную величину, обозначенную ВА, и обозначим ее тяжесть как Е. Е будет меньше, чем Г, так как, чем меньше [величина], тем меньше тяжесть. Допустим, что меньшая [тяжесть] содержится в большей какое угодно число раз и что В А относится к BZ так же, как меньшая тяжесть к большей (ведь от бесконечного можно отнять сколь угодно большое количество). Значит, если объемы пропорциональны тяжестям и меньшая тяжесть соответствует меньшему объему, то и большая [тяжесть] должна соответствовать большему [объему]. Следовательно, тяжести конечного я бесконечного [тел] окажутся равны!
Кроме того, если у большего тела большая тяжесть, то тяжесть тела НВ будет больше, чем тяжесть тела ZB, и, следовательно, (тяжесть) конечного [тела] (больше), чем бесконечного. К тому же окажется, что у неравных объемов одна и та же тяжесть, так как бесконечное не равно конечному.
