命题是一个非真即假（不可兼）的陈述句。
命题是说明一件事情的语句，是有题设和结论两部分组成 前部分是题设，后部分是结论 命题分为真命题和假命题。正确的是真命题，错误的是假命题。
有两层意思，首先命题是一个陈述句，而命令句、疑问句和感叹句都不是命题。
其次是说这个陈述句所表达的内容可决定是真还是假，而且不是真的就是假的，不能不真又不假，也不能又真又假。
凡与事实相符的陈述句为真语句，而与事实不符的陈述句为假语句。
这就是说，一个命题具有两种可能的取值（又称真值）为真或为假，又只能取其一。
通常用大写字母T表示真值为真，用F表示真值为假，有时也可分别用1和0表示它们。
因为只有两种取值，所以这样的命题逻辑称为二值逻辑。
我们把以这种非真必假的命题作为研究对象的逻辑称为古典逻辑，但也有人反对关于命题的这种观点，认为存在既不真也不假的命题，例如：直觉主义逻辑、多值逻辑等。
数学的基础？
数学基础
是研究整个数学的理论基础及其相关问题的一个专门学科，即研究数学的基础，回答“数学是什么？”，“数学的基础是什么？”，“数学是否和谐？”等等一些数学上的根本问题的学科。
对于直觉主义、逻辑主义和形式主义的异同，可以追溯到近代哲学家康德对数学本质的思考。
康德认为算术来自先验主体对时间纯形式的直观，几何则是对空间纯形式的直观。
这实质上是一种由主观而客观的思路。
康德的思想后来又在胡塞尔那里得到继承和发展。
胡塞尔就是从考虑“数在哪里”的问题提出现象学还原方法的。