>>13051240DEMONstration
2 is a natural number
4 is a natural number
+ is a natural number function dat takes two natural numbers and gives as result a natural number such that :<math>+ \colon \mathbb{N}\times\mathbb{N}\longrightarrow\mathbb{N},</math>
tale che:
*for each<math>m\in\mathbb{N}</math> vale <math>m+0=m;</math>
*per for each<math>m,n\in\mathbb{N}</math> then <math>m+S(n) = S(m+n).</math>
so since the successor of 2 is 3 and the successor of 4 is 5, 2 + 3 is equal to the succcessor of 4 that is 5. this is of course based on peano axioms -see peano second axiom- which are undoubtful assioms. thus since god exists as the result of the undoubtful axiom that it exists, if the first assumption -seccond peano axiom- is true, then also the second assumption is true -god exists-
