Let C13 u1, u3), C23 u2, u3), respectively C12|3 u1, u2), be copulas associated to the random vectors (X1, X3), (X2, X3), respectively to the conditional random vector (X1, X2|X3), which necessarily exist by the Theorem of Sklar (1959).
But what is it in virtue of which God necessarily exists?
This reference to bowling may not have any scientific or philosophical validity, but it does illustrate the absurdity of trying to understand that which necessarily cannot exist.
This leads to the monumental conclusion of Proposition 11: "God, or substance consisting of infinite attributes, each of which expresses eternal and infinite essence, necessarily exists".
A being that necessarily exists cannot coherently be thought not to exist.
If x necessarily exists and if y necessarily follows from x, then y necessarily exists too.
Hence, if a substance exists, it necessarily exists (Ip7d).
Spinoza reasons that if an object necessarily follows from something that necessarily exists, then that object also necessarily exists (Ip21).
Merely possible infinite modes do not necessarily exist, or else they would actually exist, on the plausible assumption that whatever necessarily exists, actually exists (□p → p).
In Ip11, Spinoza claims that God necessarily exists.
