算术系统相关硕士博士期刊学术论文 - 搜论网

算术系统相关论文

塔斯基、哥德尔与真概念的不可定义性

哥德尔优先于塔斯基发现了算术真概念的不可定义性,这导致有的学者对塔斯基定理乃至塔斯基真之定义理论的价值产生怀疑。这种怀疑......

期刊

真之定义真之理论不可定义性塔斯基定理不完全性定理

构造自然数算术系统的一种新方法

用公理化方法来定义非空集上的二元关系<,使得<与该集合构成全序集,在全序集中给出最小元素原理的定义,再构造一个含有最小元素原......

期刊

自然数最小元素原理后继前导算术系统

看过本文同时还关注