数学逻辑专注在将数学置于一坚固的公理架构上,并研究此一架构的成果。就其本身而言,其为哥德尔第二不完备定理的产地,而这或许是逻辑中最广为流传的成果-总存在一不能被证明的真实定理。现代逻辑被分成递归论、模型论和证明论,且和理论计算机科学有着密切的关联性。
数学语言亦对初学者而言感到困难。如何使这些字有着比日常用语更精确的意思。亦困恼着初学者,如开放和域等字在数学里有着特别的意思。数学术语亦包括如同胚及可积性等专有名词。但使用这些特别符号和专有术语是有其原因的:数学需要比日常用语更多的精确性。数学家将此对语言及逻辑精确性的要求称为“严谨”。
严谨是数学证明中很重要且基本的一部分。数学家希望他们的定理以系统化的推理依着公理被推论下去。这是为了避免错误的“定理”,依着不可靠的直观,而这情形在历史shi上曾出现过许多的例子。
符号
在现代的符号中,简单的表示式可能描绘出复杂的概念。此一图像即是由一简单方程所产生的。
我们现今所使用的大部分数学符号都是到了16世纪后才被发明出来的。在此之前,数学被文字书写出来,这是个会限制住数学发展的刻苦程序。现今的符号使得数学对于专家而言更容易去控作,但初学者却常对此感到怯步。它被极度的压缩:少量的符号包含著大量的讯息。如同音乐符号一般,现今的数学符号有明确的语法和难以以其他方法书写的讯息编码。