无理数的逻辑主义是颇有些不自然的。
The logical definition of the irrational number is rather sophisticated.
youdao
应用推荐
模块上移
模块下移
不移动