Because this discussion has veered far from foundations of mathematics, this thread is now closed. Martin (moderator) Martin Davis Professor Emeritus, Courant-NYU Visiting Scholar, UC Berkeley eipye + 1 = 0