|
发布时间: 2020-3-25 10:18
正文摘要:第一定理任意一个包含一阶谓词逻辑与初等数论的形式系统，都存在一个命题，它在这个系统中既不能被证明为真，也不能被证明为否。第二定理如果系统S含有初等数论，当S无矛盾时，它的无矛盾性不可能在S内证明。单单看 ... |
手机版|荷塘月色_淘宝拼多多抖音小红书论坛_跨境电商商家最喜欢的开店运营经验学习交流社区论坛
【免责声明：本站内容均来自网友发布，不代表本站观点或立场，如有侵权请联系我们处理】
GMT+8, 2024-12-1 05:21 , Processed in 0.330514 second(s), 58 queries , Gzip On.
组图打开中，请稍候......
收藏
