期刊文章详细信息
一阶逻辑与集合论
The First- order Logic and Set Theory
文献类型：期刊文章
机构地区：[1]秦皇岛教育学院数学系 [2]秦皇岛广播电视大学,秦皇岛066000 [3]邯郸市第二十四中学,邯郸056002
年 份：2004
卷 号：17
期 号：4
起止页码：72-74
语 种：中文
收录情况：普通刊
摘 要：一阶逻辑理论与集合论是两种不同的理论 ,但两者的理论结构有很多相同之处 ,将这两种理论进行了比较 ,分析了它们之间的一致性。
关 键 词：集合论 一阶逻辑 一致性 理论结构
分 类 号：O141[数学类] O144]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
