Доказательство. Субстанции, если их две, различны, и потому они (по акс

Субстанции, если их две, различны, и потому они (по акс. 2) различаются реально или модально. Они не могут различаться модально, ибо тогда модусы существовали бы по своей природе ранее субстанции, что противоречит аксиоме 1; следовательно, они различаются реально. Поэтому (акс. 4) об одной нельзя сказать того, что сказано о другой, что и требовалось доказать.

Теорема 2

Одна субстанция не может быть причиной существования другой субстанции.

Доказательство.

Такая причина не может (т. 1) иметь в себе ничего из такого действия; ибо различие между ними реально, и, следовательно, она не может (акс. 5) вызвать его.

Теорема 3

Всякий атрибут, или субстанция, по своей природе бесконечен и в высшей степени совершенен в своем роде.

Доказательство.

Ни одна субстанция не вызывается другою (т. 2), и, следовательно, существуя, она является или атрибутом бога, или она была причиною самого себя вне бога. В первом случае она необходимо бесконечна и в высшей степени совершенна в своем роде, как все другие атрибуты бога. Во втором случае она необходимо такова же, ибо (акс. 6) сама себя ограничить она не могла.

Теорема 4

К сущности всякой субстанции по природе так относится существование, что невозможно в бесконечный разум поместить идею о сущности такой субстанции, которая не существовала бы в природе.

166

Доказательство.

Истинная сущность объекта есть нечто, реально отличное от идеи того же объекта, и это нечто (акс. 3) или существует реально, или содержится в другой вещи, существующей реально; от этой другой вещи сущность можно отличить не реально, но лишь модально. Таковы все сущности вещей, видимых нами, которые, не существуя прежде, содержались в протяжении, движении и покое, а, существуя, отличаются от протяжения не реально, но лишь модально. Поэтому внутренне противоречивы допущения, что сущность субстанции, таким образом, содержится в другой вещи, от которой она не может быть, вопреки теореме 1, реально отличена, а также, что она может быть вызвана, вопреки теореме 2, субъектом, содержащимся в ней, и, наконец, что она по своей природе, вопреки теореме 3, не могла бы быть бесконечна и в высшей степени совершенна в своем роде. Следовательно, так как ее сущность не содержится ни в одной другой вещи, она есть вещь, существующая сама по себе.