(Число промежуточных терминов в доказательстве отрицания)
Очевидно же, что и доказательство отрицания имеет предел, поскольку (доказательство) утверждения имеет предел в ту и в другую сторону [1]. В самом деле, предположим, что нельзя идти до бесконечности как от последнего вверх (под последним я понимаю то, что само не присуще ничему другому, но ему самому другое, например З, присуще), так и от первого к последнему (под первым я понимаю то, что само приписывается другому, но ему самому ничто другое не приписывается). Следовательно, если это так, то ясно, что и при отрицании есть предел. (Суждение) о том, что не присуще, доказывается трояко [2]. Именно, или (так, что) чему присуще В, тому всему присуще Б, но ничему из того, чему присуще Б, не присуще А [3]. Следовательно, в отношении (суждения) Б В и (вообще) всегда в отношении другой посылки [4] необходимо идти к неопосредствованным (положениям), ибо эта посылка является утвердительной. Что же касается другой (посылки [5]), то ясно, что если (А) не присуще другому, предшествующему (Б), скажем, Д, то будет необходимым, чтобы Д было присуще всем Б [6]. И далее, если (А) не присуще другому, предшествующему Д [7], то будет необходимо, чтобы это (другое) было присуще Д [8]. Поэтому, раз по направлению вниз есть предел, то есть предел и по направлению вверх, и будет что-то первичное, чему (А) не присуще. Далее, (или так, что) если Б присуще всем А и не присуще ни одному В, то А не присуще ни одному В [9]. С другой стороны, если это нужно доказывать, то ясно, что это доказательство будет дано или указанным выше способом [10], или этим [11], или третьим [12]. О первом (способе) уже было сказано [13], второй же будет указан. Так можно доказать, например, что Д присуще всем Б, но ни одному В, если необходимо, чтобы нечто было присуще Б [14]. И далее, если (Д) не будет присуще В, то нечто другое, что не присуще В, присуще Д [15]. Следовательно, раз (суждение) о присущем имеет предел в (термине, находящемся) выше, то предел имеет также (суждение) о неприсущем. Третий способ (доказательства) такой: если А присуще всем Б, а В не присуще (Б), то В будет присуще не всему тому, чему присуще А [16]. Но это, в свою очередь, доказывается или указанными выше способами [17], или также, (как здесь) [18]. Таким образом (доказательство) теми способами имеет предел. Если же доказывается этим (способом), то опять будет принято, что Б присуще Е, а В присуще не всем Е [19]. И это [20] будет затем доказываться так же [21]. А так как было предположено, что (доказательство) имеет предел и по направлению вниз, то ясно, что оно будет иметь предел и когда В не присуще [22].
Очевидно же, что и тогда (доказательство) будет иметь продел, когда оно ведется не одним путем, а всеми, (то есть) то по первой фигуре, то по второй или по третьей. Ведь пути (доказательства) ограниченны. А ограниченное, ограниченно умноженное, необходимо остается ограниченным в целом.
Таким образом, ясно, что и при отрицании (доказательство) имеет предел, поскольку (оно) имеет предел в (суждениях) о присущем. А что в них (именно) так обстоит дело, это очевидно при логическом рассмотрении [23].