一种陈述，也称为公理，被认为是无需证明即可为真的。公设是推导出引理和定理的基本结构。例如，整个欧几里得几何都基于五个被称为欧几里得公设的公设。
另请参阅
阿基米德公理,
公理,
伯特兰公设,
猜想,
等距公设,
欧几里得公设,
引理,
平行公设,
推论,
证明,
定理,
三角形公设
使用 Wolfram|Alpha 探索
请引用为
Weisstein, Eric W. "Postulate." 来自 MathWorld-- Wolfram Web 资源。 https://mathworld.net.cn/Postulate.html
主题分类
主题
