实数集造句

实数集的上确界公理用到了实数集的子集，这是一种二阶逻辑的陈述。

例如，0到1之间的实数集合是“不可数的”——无法与自然数作一一对应。

一百最后*了良序集和实数集合具有序拓扑遗传*。