判断题
不允许从公理系统里推出矛盾的命题来,这体现出公理系统的独立性。
错误
单项选择题 1899年数学家()根据《几何原本》的理论经行修改,出版了《几何基础》。
单项选择题 古希腊数学家()所著《几何原本》是公理化思想的萌芽。
单项选择题 形式的公理化方法在逻辑上的要求,是满足相容性,()和完全性。