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

1899年数学家（）根据《几何原本》的理论经行修改，出版了《几何基础》。A.希尔伯特B.莱布尼茨C.马克劳林D...

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

古希腊数学家（）所著《几何原本》是公理化思想的萌芽。A.埃拉托斯特尼B.欧几里得C.毕达哥拉斯D.阿基米德

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

形式的公理化方法在逻辑上的要求，是满足相容性，（）和完全性。A.一致性B.成套性C.独立性D.安全性

单项选择题形式的公理化方法在逻辑上的要求，是满足相容性，（）和完全性。