言語レベルでの実無限っていうのは、無限長のtermとかformulaがあるということ。
0.999…を実際に書き下せるので別に定義を与える必要が感じられない。
可能か不可能かは物理的な制約である。