Начало Этики организуется именно вокруг этих двух пунктов. Спиноза спрашивает: в чем состоит ошибка, когда мы полагаем нескольких субстанций с одним и тем же атрибутом? Он разоблачает эту ошибку двумя способами, следуя своим излюбленным приемам. Сначала с помощью доказательства через абсурд, а затем посредством более сложного доказательства. Если бы имелось несколько субстанций с одним и тем же атрибутом, то они должны были бы различаться своими модусами, что абсурдно, ибо субстанция по природе предшествует своим модусам и не имплицирует их: таков короткий путь [доказательства], изложенный в 1, 5. Но позитивное доказательство появляется дальше, в схолии к теореме 8: две субстанции с одним и тем же атрибутом отличались бы только in numéro; итак, характер числового различия исключает возможность создания реального или субстанциального различия.
Согласно этой схолии различие не было бы числовым, если бы вещи не обладали одним и тем же понятием [concept] или одним и тем же определением; но эти вещи не различались бы, если бы – помимо определения – не было внешней причины, благодаря которой они существуют именно в таком числе. Две и более численно различных вещи предполагают, таким образом, нечто иное, нежели их понятие [concept]. Вот почему субстанции могут быть численно различимыми только благодаря отсылке к некой внешней причинности, способной производить их. Ибо, когда мы утверждаем, что субстанции произведены, мы имеем множество спутанных идей одновременно. Мы говорим, что у них есть причина, но мы не знаем, как эта причина действует; мы претендуем на обладание истинной идеей этих субстанций, ибо они постигаются сами по себе, но мы не уверены, что такая идея истинна, поскольку не знаем [исходя] из самих субстанций, существуют ли они. Мы находим здесь критику странной картезианской формулы: того, что может существовать само по себе. Внешняя причинность имеет смысл, но только в отношении конечных существующих модусов: каждый существующий модус отсылает к другому модусу именно потому, что он не может существовать сам по себе. Когда мы применяем такую причинность к субстанциям, мы вынуждаем ее действовать вне условий, кои задают ее и делают законной. Мы утверждаем ее, но в пустоте, изымая из нее всякую определенность. Короче, внешняя причинность и числовое различие разделяют общую судьбу: они применяются к модусам и только к модусам.