Kurt Gödel’s Ontological Argument – Line By Line Explanation

__________VIDEO CONTENTS__________
0:00 Into
1:11 Explaining the Symbols
5:26 Axiom 1
6:50 Axiom 2
8:05 Theorem 1
11:31 Definition 1
12:08 Axiom 3
12:18 Theorem 2
13:20 Definition 2
15:03 Axiom 4
15:22 Theorem 3
18:44 Definition 3
20:06 Axiom 5
20:18 Theorem 4
22:38 Conclusion