数学史
有史より遥か古い時代の線画にも、数学の知識や、天体観測に基づいた測時法があったことを示すものがある。古生物学者による例では、南アフリカの砂岩洞窟の中に、幾何学的模様で彩られた線刻画が発見され、紀元前7万年頃のものと推定されている。他にも、アフリカやフランスで発見されている紀元前3万5千～2万年頃の先史時代遺物の中に、時間を表現しようとした形跡がある。
数理論理学
この分野が始まって以来、数理論理学は数学基礎論の研究に貢献し、また逆に動機付けられてきた。数学基礎論は幾何学、算術、解析学に対する公理的な枠組みの開発とともに19世紀末に始まった。20世紀初頭、数学基礎論は、ヒルベルトのプログラムによって、数学の基礎理論の無矛盾性を証明するものとして形成された。クルト・ゲーデルとゲルハルト・ゲンツェンによる結果やその他は、プログラムの部分的な解決を提供しつつ、無矛盾性の証明に伴う問題点を明らかにした。集合論における仕事は殆ど全ての通常の数学を集合の言葉で形式化できることを示した。しかしながら、集合論に共通の公理からは証明することができない幾つかの命題が存在することも知られた。むしろ現代の数学基礎論では、全ての数学を展開できる公理系を見つけるよりも、数学の一部がどのような特定の形式的体系で形式化することが可能であるか（逆数学のように）ということに焦点を当てている。