紧接定义之后是几个公设。公设是自明的,意即无需证明的显在事实,尤其表现在平面几何中。公设内容多为作图。 O8SySJuUEnfa3k0Uon9axc8w0gXggOFGpynFK7hAP6Rg2RR11yRstTUGO2DNz+5A