>>214 訂正 【∞は実数でないことの証明】今、∞を実数と仮定すると、任意の実数について、a<a+1が成立するから、 ∞<∞+1=x でなければならない。任意の実数aについて、a≦∞が成り立たねばならないから、 x≦∞かつ∞<x が成立し、矛盾。 よって∞は実数ではない。