多项选择题 欧几里得第五公设既不能证明，也不能否定；但是，由此却诞生了非欧几何的新学科系统——（）。

单项选择题 下列国家中，古代没有形式系统的是（）。

判断题 在康托的集合论中，“无穷势中可数无穷势是最小的势，连续统势使次小的势”，这一命题为真命题，已经被证明。