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

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

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

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