所以他证明了罗素和怀特海德想把数学的基础建立在现代逻辑之上的努力,注定失败?

来源: 2024-10-26 07:58:43 [博客] [旧帖] [给我悄悄话] 本文已被阅读: