The logical definition of the irrational number is rather sophisticated.

• 无理数的逻辑主义是颇有些不自然的。