E1 Proposition 4 démonstration

Tout ce qui est est ou bien en soi ou bien en autre chose (E1a1), c’est-à-dire (E1d3 et E1d5) qu’à l’extérieur de la compréhension il n’y a rien sinon des substances et des affections de substance. Il n’y a donc rien à l’extérieur de la compréhension par quoi plusieurs choses puissent se distinguer entre elles, sinon des substances – autrement dit, ce qui revient au même (E1d4) leurs attributs – et leurs affections. C.Q.F.D.

Texte latin

Omnia quæ sunt vel in se vel in alio sunt (per axioma 1) hoc est (per definitiones 3 et 5) extra intellectum nihil datur præter substantias earumque affectiones. Nihil ergo extra intellectum datur per quod plures res distingui inter se possunt præter substantias sive quod idem est (per definitionem 4) earum attributa earumque affectiones. Q.E.D. ​