命题

命题是一个数学陈述，例如“3 大于 4”、“存在无限集”或“7 是素数”。

一个 公理 是一个被假定为真的命题。 在充分的信息下，数学 逻辑 通常可以将命题归类为 真 或 假，尽管存在各种例外情况（例如，“这个陈述是假的”）。