この形式主義では,同一性 1 = 0.999... と 1 = 1.000... は,それぞれ, 1 が [0, 1] と [1, 2] の両方で存在するという事実を反映しているので,その桁を見つける際にいずれかのサブインターバルを選択できます. この記号が "=" 記号を乱用しないようにするには,各十進数ごとにユニークな実数を再構築する方法が必要です. これは制限で実行できますが,他の構成は順序付けのテーマを続けることができます. 簡単な選択は,長さが任意に小さいネストされた閉じたインターバルの配列を与えると,インターバルは,その交差点に正確に1つの実数を含んでいることを保証します. したがって,b0.1b2b3b... は, [0, 1b] と [0, 1b] が存在するので,これらの要素の定義は,通常,これらの要素の最小限と一致します. b = 0.999b... は,これらの要素の最小限と一致します. b = 0.999b... は,これらの要素の最小限と一致します. b = 0.999b... は,これらの要素の最小限と一致します. [0, 1b] は,これらの要素の最小限と一致
単一の番号