判断题 不允许从公理系统里推出矛盾的命题来，这体现出公理系统的独立性。

单项选择题 1899年数学家（）根据《几何原本》的理论经行修改，出版了《几何基础》。

单项选择题 古希腊数学家（）所著《几何原本》是公理化思想的萌芽。