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

摘要

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