At the suggestion of the editors, I am terminating the thread on rigorous logical argument in theology, because of the remoteness of its connection with foundations of mathematics. Martin Davis moderator