>>6
>Ａ５：　通常は実数の範囲で考え、「実数の連続性」や「０．９９９９…が
>　　　無限級数の極限値である」ことなどを前提にする。しかし、説明は複
>　　　雑になるが、アルキメデス性を満たす数の範囲で考えることも可能である。

最後の行は「アルキメデス性を満たす数の範囲（例えば実数ではなく有理数）で考えることも可能である。」
と（　）部分を追加してはどうかな？