紧接定义之后是几个公设。公设是自明的,意即无需证明的显在事实,尤其表现在平面几何中。公设内容多为作图。 ZNY4kVvPWCaw8vqzMYu9XrHMw23NAu0+JOi2b/JqHyho+Hv+58+RvU/VMGdPxD1+