◎ 公設(shè) gōngshè
[postulate] [邏輯或數(shù)學中] 公認為真、因而無需證明其為正確的陳述

1.{邏} {數(shù)} （不需要證明的假設(shè)） postulate; postulation

不需要證明就可以認為是真的假設(shè)，例如，由一點到另一點可以引一條直線。