can prove the mathematical possibility of the existence of God, we can never prove the validity of any church or state claiming to represent that God. What is true of one must also be true of the other, by qal va-homer. That seems to be the essence of Godel's conclusons, since he was both logician and Platonist. The "ideal" which existed "out there" was also supported by Einstein. Logical Positivism saind there was nothing worth exploring beyond the sensory abilities of humans, that math was merely the "syntax" by which we proved the conclusons of science. Godel's proofs demonstrated that we cannot prove "truth" within the mathematica context, but the proofs that emerge from finite applications are correct. The RMCM asserts : math is the manipulation of Form and Function to elucidate Cause and Effect. The RMCM asserts : science and physics are the manipulation of Cause and Effect to elucidate Form and Function. We concur with this : "proofs that emerge from finite applications are correct"; math lies inside the container of science and physics and is or at least should be constrained by same. By simply dividing the Euclidean line into a group consisting of Natural and real numbers, Cantor also separated the thing we call the continuum. What was hidden wit5hin the discrete units iof the Euclidean line was suddenly revealed as a big gob of infinite "something" that defied measurement. The RMCM asserts : The Rational is an aggregate of dynamically bound points that arise from