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

Стало быть, если все, что (будучи [само по себе] тяжелым) является ь более тяжелым, необходимо должно быть большим потяжести,то все тяжелое делимо. Однако точка, согласно аксиоме, неделима. Кроме того, если тяжелое есть нечто плотное, а легкое – разреженное (плотное отличается от разреженного тем, что содержит большее количество в равном объеме), а точка может быть тяжелой или легкой, то она может быть и плотной или разреженной. Однако плотное делимо, а точка неделима. Если же все тяжелое по необходимости должно быть либо мягким, либо твердым, то отсюда легко вывести невозможное заключение: мягкое, [по определению] , есть то, что уступает давлению, твердое – то, что не уступает, но то, что уступает давлению, делимо.

Равным образом тяжесть не может состоять из частей, не имеющих тяжести. Ибо как они определят, сколько нужно частей и каких для того, чтобы получилась тяжесть, если не хотят фантазировать? И если всякая тяжесть больше [другой] тяжести по тяжести, то получится, что и каждая из лишенных тяжести [частей] имеет тяжесть. В самом деле, допустим, что четыре точки [вместе] имеют тяжесть. Тяжесть, которая состоит из большего числа [точек], чем данная, будет тяжелее тяжелого, но то, что тяжелее тяжелого, по необходимости должно быть более тяжелым по тяжести (точно так же, как и то, что белее белого, [должно быть более белым] по белизне), и, следовательно, если отнять равное [количество], то большая [на одну точку] тяжесть окажется на одну точку тяжелее. Следовательно, одна точка также будет иметь тяжесть.