判断题 从一批公理、定义出发，通过逻辑推理，得到一些列结论（称为命题、定理或推论）的方法，称为公理化方法。

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

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