## Video 8: Formal, Rigorous Proof of the G Theorem

(63 minutes; 177 slides)

### Short Synopsis of Video 8

Who is the authority here? YOU, the viewer are YOUR OWN authority — the purpose of the Videos is to teach you what you need to know to take all this into your own intellect and see FOR YOURSELF that it all makes sense. Teaches the formal proof using predicate logic that there exists a unique phenomenon that is self-causing and omnipotent, i.e. God exists. It is explained that, by looking through the "window" of formal mathematics, we can now SEE God!

### Long Synopsis of Video 8

Based on the Predicate Logic taught in Videos Two-Five, and based on the undefined terms, Definitions and Axioms presented and justified in Videos Six-Seven, this Video Eight now presents our formal, rigorous proof that God exists.

Who is the authority here? YOU, the viewer are YOUR OWN authority — the purpose of the Nine Videos is to teach you what you need to know to take all this into your own intellect and see FOR YOURSELF that it all makes sense.

First, using Axioms A1, A2, A4 and A5, and Definitions D2 and D3, Theorem T1 is proven: There exists a phenomenon that is omnipotent.

Second, using Theorem T1, plus Definitions D1 and D3, Theorem T2 is proven: There exists a phenomenon that is self-causing and omnipotent.

Finally, using Theorem T2, plus Axiom A3 and Definition D3, Theorem T3 is proven: There exists a unique phenomenon that is self-causing and omnipotent, i.e. God exists.

It is explained that, by looking through the "window" of formal mathematics — i.e. by studying and understanding the proof of Theorem T3 and all it is based on — we can now SEE God!

### Errata for Video 8

28:20 — Mr. Emerson says "Theorem T3" when he should have said "Theorem T2."

28:50 — When the animated red dot appears, a small blue rectangle also appears on the right side of the screen that should not be there.