Algumas afirmações aparecem em inglês porque não há tradução revisada e atual.
Axiom 1: Everything that exists, exists either in itself or in something else. Axiom 2: That which cannot be conceived through anything else must be conceived through itself. Together, these axioms enforce an exhaustive ontological partition — nothing escapes the substance/mode divide.
Esses dois axiomas fecham todas as saídas. Não há uma terceira opção: tudo é ou autossuficiente (substância) ou dependente (modo). E se você não pode compreender algo por outra coisa, então ele deve ser compreendido por si mesmo. Spinoza está configurando um mundo sem lacunas ontológicas e sem pontas soltas conceituais. Todo ser cai de um lado desta linha, e a maneira como você o concebe acompanha a maneira como ele existe.
As definições de substância (gs-01) e modo (gs-03) introduziram "em si" versus "em outro". Esses axiomas elevam esse contraste ao estatuto de uma partição exaustiva e autoevidente de toda a realidade, fornecendo-nos o fundamento lógico a partir do qual as proposições serão derivadas.
Tudo o que existe é ou substância (em si) ou modo (em outro) — não há uma terceira categoria.
Essa partição é genuinamente exaustiva? Você consegue imaginar algo que não seja nem plenamente autossuficiente nem plenamente dependente de outro?