关于实数的一个完备公理系统

编号 zgly0001129460

文献类型 期刊论文

文献题名 关于实数的一个完备公理系统

作者 苏远清 

作者单位 中南林学院基础课部 

母体文献 中南林学院学报 

年卷期 1993年02期

年份 1993 

分类号 0144 

关键词 实数  公理系统  公理  集合论 

文摘内容 本文对陈建功先生提出的实数完备公理系统进行了简化和修改。去掉了一个要求极强的表现公理,以一个反例,说明去掉表现公理后不再是完备公理系统,并在不增添新的公理的情况下,对其中一条公理作了加强(可数性公理)。而且证明这样的7条公理是相互独立的,构成了实数的一个完备公理系统。