>>272
確かに実数の性質っていった方がわかりやすいですね

僕も詳しくないですが、有界な実数集合の上限の存在がZornの補題から従うので
恐らく連続体公理を仮定するか、Zornの補題（選択公理と同値）を仮定するかの違いです