命題

命題是一個數學陳述，例如“3 大於 4”、“存在無限集”或“7 是素數”。

一個 公理 是一個被假定為真的命題。 在充分的資訊下，數學 邏輯 通常可以將命題歸類為 真 或 假，儘管存在各種例外情況（例如，“這個陳述是假的”）。