◎ 公设 gōngshè
[postulate] [逻辑或数学中] 公认为真、因而无需证明其为正确的陈述

1.{逻} {数} （不需要证明的假设） postulate; postulation

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