у Спинозы одиннадцатая теорема, гласящая, что бог необходимо существует, сопровождается доказательством и что точно также сопровождается доказательством двадцатая теорема, гласящая, что существование бога и его сущность есть одно и то же, – это обстоятельство есть только излишний формализм, стремящийся ничего не оставлять без доказательства. Бог есть субстанция (и даже единственная субстанция), субстанция же есть causa sui, бог, следовательно необходимо существует – все это доказательство означает только то, что бог есть то, понятие и бытие чего нераздельны.