postulate
[逻辑或数学中] 公认为真、因而无需证明其为正确的陈述
「公设」一词出现在亚里斯多德@@@@@Aristotle, @@@@@~@@@@@ B@@@@@C@@@@@和圣多玛斯阿奎纳@@@@@St@@@@@ Thomas Aquina, @@@@@~@@@@@的着作中，是一个并非直接明显的命题（拉丁文是petitio），暂时在学术性讨论中不加证明而姑且认可，但参与者则都心照不宣，知道以后对此命题须加以证明。公设与设定@@@@@presumption@@@@@不同；后者在辩论时为双方所接受，前者则是暂为一方所存而不论。