- Joined
- Sep 13, 2004
- Messages
- 56,481
- Reaction score
- 28,235
Scientists run calculations to PROVE the existence of God
Ax. 1. {P(?)???x[?(x)??(x)]} ?P(?)Ax. 2.P(¬?)?¬P(?)Th. 1.P(?)???x[?(x)]Df. 1.G(x)???[P(?)??(x)]Ax. 3.P(G)Th. 2.??xG(x)Df. 2.? ess x??(x)???{?(x)???y[?(y)??(y)]}Ax. 4.P(?)??P(?)Th. 3.G(x)?G ess xDf. 3.E(x)???[? ess x???y?(y)]Ax. 5.P(E)Th. 4.??xG(x)












