These are in progress and subject to revision. Feedback welcomed.
The subpoints provide further clarifying thoughts or definitions.
Presuppositions
Self-contradictions cannot take place or be true.
All real existents (including aggregates of existents) that are causable are caused, although I make such an argument (linked here Steps #1-11).
Premises
Assume all real existents (including aggregates of existents) are caused, including the whole of existence.
“Existent” refers to an entity, being, or thing that has actual presence in reality. It would not include abstract objects.
“Cause” refers specifically to an efficient cause, which is whatever makes something exist or produces an effect. Saying x is caused by y means y accounts for x’s origin. A cause isn’t necessarily deterministic in the sense that it produces only a single effect. Some but not all causes are deterministic in the sense that they are both ontologically prior and logically sufficient to produce only one given effect.
The “whole of existence” refers to everything, collectively considered, that exists, has existed or will ever exist.
If true, then a cause exists of the whole of existence.
A cause exists distinct or apart of its effects.
Causes are not identical with their effects. If a cause and its effect were identical, the concept of causation would lose its meaning, as a thing cannot bring itself into existence or cause its own change in the same respect at the same time. The relationship between a cause and its effect is asymmetrical. A cause produces or brings about an effect. The effect is the result produced by the cause. A cause also precedes its effect, at least explanatorily.
Therefore, assuming all real existents (including aggregates of existents) are caused, then a cause exists distinct or apart of the whole of existence. (Definitional Substitution on #1-3)
A thing or quantifier distinct or apart of the whole of existence doesn't exist.
The “whole of existence” refers to the set of everything that is real. For something to be “apart” from this whole is to say it is not in the set of things that are real, which is a definitional contradiction.
Therefore, assuming all real existents (including aggregates of existents) are caused, then a cause exists and doesn't exist of the whole of existence, which is a self-contradiction. (Definitional Substitution on #4-5)
Therefore, the assumption that all real existents (including aggregates of existents) are caused is false. (Reductio ad Absurdum on #2 & #6)
Therefore, not all real existents (including aggregates of existents) are caused. (Double negation elimination on #7)
If a real existent (including aggregates of existents) is causable, then it is caused.
Presupposition #2.
Therefore, not all real existents (including aggregates of existents) are causable, which entails that at least one real existent or quantifier is not caused. (Modus Tollens #8-9)
Each member of an aggregate, sequence or chain of causable real existents is causable by a real existent external to the original aggregate, sequence or chain.
If true, then the original aggregate, sequence or chain is causable by a prime aggregate, sequence or chain of the original aggregate.
If true, then all aggregates, sequences or chains of causable existents are causable.
Therefore, all aggregates, sequences or chains of causable existents are causable. (Hypothetical Syllogism #11-13)
Therefore, all aggregates, sequences or chains of causable real existents are caused. (Modus Ponens #9 & #14)
If true, then the aggregate, sequence or chain of all aggregates, sequences or chains of causable existents is caused.
Let C denote “the aggregate, sequence or chain of all aggregates, sequences or chains of causable real existents.”
If a quantifier is caused, then it is distinct from its cause or causes.
Therefore, C is distinct from its cause or causes. (Hypothetical Syllogism #15-17)
If true, then the cause or causes of C cannot be a part of C.
If true, then the cause or causes of C is uncaused.
Since the cause cannot be a member of C, then that only leave an uncaused existent.
Therefore, the cause or causes of C is uncaused. (Hypothetical Syllogism #18-20)
If, then C is caused by at least one uncaused real existent.
If true, then all aggregates, sequences or chains of causable existents are caused.
Therefore, all aggregates, sequences or chains of causable existents are caused. (Hypothetical Syllogism #21-23)