По сути, первые теоремы «Этики» представляют собой разъяснения определений и аксиом. Доказательства их формальны. Здесь и далее доказательства большинства теорем и короллариев (следствий) опускаются в целях экономии места, однако нельзя назвать их излишними, и уж тем более – «ненужным, мучительным отягощением» (Гегель). Они ценны тем, что показывают логическую взаимосвязь категорий в философской системе Спинозы.
Теорема 6.
Королларий. Отсюда следует, что субстанция чем-либо иным производиться не может. ‹…›
Теорема 7
Доказательство. Субстанция чем-либо иным производиться не может (по кор. пред. т.). Значит, она будет причиной самой себя, т. е. ее сущность необходимо заключает в себе существование (по опр. 1), иными словами, ее природе присуще существовать; что и требовалось доказать.
Теорема 8
Доказательство. Субстанция, обладающая известным атрибутом, существует только одна (по т. 5), и ее природе присуще существование (по т. 7). Итак, ее природе будет свойственно существовать или как конечной, или как бесконечной. Но конечной она быть не может, так как в таком случае (по опр. 2) она должна была бы ограничиваться другой субстанцией той же природы, которая так же необходимо должна была бы существовать (по т. 7); таким образом, существовали бы две субстанции с одним и тем же атрибутом, а это (по т. 5) невозможно. Следовательно, субстанция существует как бесконечная; что и требовалось доказать.
Схолия 1. Так как конечное бытие в действительности есть в известной мере отрицание, а бесконечное – абсолютное утверждение существования какой-либо природы, то прямо из т. 7 следует, что всякая субстанция бесконечна.