能被证明的真命题。现代逻辑被分成递论、模型论和证明论，且和理论电脑科学有着密切的关连性，千禧年大奖难题中的P/NP问题就是理论电脑科学中的着名问题。
纯粹数学.
数量.数量的研究起于数，一开始为熟悉的自然数及整数与被描述在算术内的自然数及整数的算术运算。整数更深的性质于数论中有详细的研究，此一理论包括了如费马最后定理等着名的结果。数论还包括两个被广为探讨的未解问题：孪生质数猜想及哥德巴赫猜想。当数系更进一步发展时，整数被视为有理数的子集，而有理数则包含