命题是一种数学陈述，如“3大于4”、“存在无限集”或“7是质数”
安公理是一个假设为真的命题。有足够的信息，数学逻辑可以经常分类命题为真的或假,尽管有各种例外（例如，“This statement is false”）。
另请参见
公理,猜想,False（错误）,假设,法学,引理,色情,假设,证明,定理,真的
与Wolfram一起探索| Alpha
引用如下：
埃里克·魏斯坦（Eric W.Weisstein）。“提议”来源数学世界--Wolfram Web资源。https://mathworld.wolfram.com/Proposition.html网站
主题分类
