Итак, всякое тело по необходимости должно быть либо бесконечным, либо конечным, и если оно бесконечно-то либо всецело неподобочастным, либо подобочастным, и если неподобочастным – то либо состоящим из конечного числа видов, либо из бесконечного. Что из бесконечного числа видов оно состоять не может – очевидно, если нам позволят, чтобы наши исходные предпосылки оставались в силе37. Ибо коль скоро число первых движений конечно, то и число видов простых тел по необходимости должно быть конечным, поскольку у простого тела движение простое, а число простых движений конечно; между тем всякое естественное тело должно иметь движение. Если же допустить, что бесконечное [тело] состоит из конечного числа [видов], то тогда и каждая из его частей непременно должна быть бесконечной; я разумею, например, воду или огонь. Но это невозможно, ибо доказано38, что ни бесконечной тяжести, ни бесконечной легкости не существует.

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

Кроме того, даже если [элементы] рассеяны, сумма всех [частиц, например] огня, тем не менее могла бы быть бесконечной39. Однако тело, по определению, есть то, что имеет протяжение во всех измерениях: как же тогда возможно существование множества неодинаковых тел, каждое из которых бесконечно? Ведь каждое из них должно быть бесконечным во всех измерениях!