[单选] 形式的公理化方法包括（）

微积分诞生时间（） A、十五世纪。 B、十六世纪。 C、十七世纪。 D、十八世纪。 （）和自然数集合是一一对应的。 A、实数集合。 B、有理数集合。 C、离散集合。 D、以上都不对。 证明不完全性定理的人是（） A、伽罗瓦。 B、伯奈斯。 C、哥德尔。 D、爱因斯坦。 4条直线就分平面为几个部分（） A、9.0。 B、11.0。 C、10.0。 D、12.0。 （）个点可以确定一个平面。 A、1.0。 B、2.0。 C、3.0。 D、4.0。 形式的公理化方法包括（）