公设

公设    gōng shè

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