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