(April 2, 2016 at 2:38 am)MysticKnight Wrote: Peace be upon you smforture, I'm not asking how you derive those statements from double implications. I'm asking why you are stating those double implications are true in the first place.
(1) Eu iff Ku - the Universe is only explained if and only if there is a complete and consistent explanation of the Universe. This is true or else it would only be partially or imperfectly explained. (2) For all x, x is complete and consistent only if x is infinite. This is from Gödel's incompleteness theorem. (3) Ix iff Gx. An infinite explanation of the Universe is logically equivalent with the greatest explanation of the Universe. It must be infinite to include all true statements and thus be the greatest explantion imaginable. If it can be improved on, it is not the greatest or infinite. and (4) For all x, if x is the greatest, x refers to God. This is by definition true.