公设

注释

不需要证明就可以认为是真的假设，例如，由一点到另一点可以引一条直线。