「実数の連続性公理」「順序完備性」「Weierstrassの公理」「上限公理」

「実数の連続性公理」「順序完備性」「Weierstrassの公理」「上限公理」の別表現と同値となることの証明のリンク切れを修正。