[单选] （）和自然数集合是一一对应的。

相对论所采用的数学形式是（） A、欧氏几何。 B、黎曼几何。 C、双曲几何。 D、以上都不对。 第一个证明了广义的连续统假设的相容性定理的人是（） A、伽罗瓦。 B、笛卡尔。 C、克莱因。 D、哥德尔。 《数学：确定性的丧失》作者是（） A、伽罗瓦。 B、笛卡尔。 C、克莱因。 D、哥德尔。 5个平面最多把空间分为（）个部分。 A、22个。 B、24个。 C、26个。 D、28个。 形式的公理化方法包括（） A、组织。 B、综合。 C、表述。 D、以上全部是。 （）和自然数集合是一一对应的。