多项选择题 希尔伯特提出的形式的公理化方法在逻辑上的三个要求，下面答案中正确的有：（）。

单项选择题 《孙子算经》中“有物不知其数”的问题，“23”是“最小”的解；问“次小”的解是什么？（）

多项选择题 关于昙点说法正确的是（）。