"Mathematics belong to man, not to God. We are not
        interested in the properties of the positive
        integers that have no describtive meaning for man.
        When a man proves a positive integer to exist, he
        should show how to find it. If God has mathematics
        of his own that needs to be done, let him do it
        himself."

                        -- Bishop