のいくつかの証明は、通常の実数がアルキメデス順序体であること、すなわち、" でない無限小は存在しない" ことに依存している。