紧接定义之后是几个公设。公设是自明的，意即无需证明的显在事实，尤其表现在平面几何中。公设内容多为作图。 PQB+BLh5LkRBq5NaogEbHT5buADDG5nf/4Kjf/nisOmzpVQ+G/Lrf46ELqnUyyCM
