gōng shè
基本释义
  1. [逻辑或数学中] 公认为真、因而无需证明其为正确的陈述
英文翻译
  1. postulate