公设

[逻辑或数学中] 公认为真、因而无需证明其为正确的陈述。