The question of the logical structure of the real number system was faced squarely.

• 实数系的逻辑结构问题被正视。