什么是弗洛盖定理?
弗雷格定理是弗雷格的研究者试图修正和重构弗雷格的不一致的逻辑-算术系统的结果弗洛。弗雷格定理表明,撇开弗雷格关于数的显式定义,从其系统中清除“外延”和“值域”的术语,直接从休谟原理出发,把它作为唯一的非逻辑公理加入到标准的二阶逻辑系统中,可得到一个一致的系统且二阶皮亚诺算术公理在此系统中是可证明的。
1.《弗洛,什么是弗洛盖定理?》援引自互联网,旨在传递更多网络信息知识,仅代表作者本人观点,与本网站无关,侵删请联系页脚下方联系方式。
2.《弗洛,什么是弗洛盖定理?》仅供读者参考,本网站未对该内容进行证实,对其原创性、真实性、完整性、及时性不作任何保证。
3.文章转载时请保留本站内容来源地址,https://www.lu-xu.com/tiyu/1914481.html