His axiom presupposes that there is an arbitrarily large radius at our disposal.

• 他的公理就是先假定有如我们意愿的任意大半径。