Richman considers two such systems, designed so that 0.999... < 1.
リッチマンは 0.999⋯ < 1 となるようにデザインされた、そのような2つの構造を考えた。