科学史
紀元前3000年ころから古代エジプトやメソポタミアで文明がおこる。メソポタミアのシュメール人は紀元前3100年には文字を発明し、神殿を中心とした国家を形成した。そして労働力・財力を集積して管理するため、またピラミッドやジッグラトといった巨大建築物を建設するために、正確な測量技術および数学の発展が起こる。神事・農業を行うために暦の作成が始まり天文学が発達する。同じころインダス文明、黄河文明、長江文明などが発達する。さらに医療の発達もこのころから見られ、メソポタミアでは紀元前3000年、エジプトでは紀元前2000年に内科、外科、皮膚科などに分類されて症例に関する記録が文献に残されるようになった。ただしこのころの医療は神事や呪術と深くつながったものであり、占星術や儀式の要素が大きかった。
数理論理学
この分野が始まって以来、数理論理学は数学基礎論の研究に貢献し、また逆に動機付けられてきた。数学基礎論は幾何学、算術、解析学に対する公理的な枠組みの開発とともに19世紀末に始まった。20世紀初頭、数学基礎論は、ヒルベルトのプログラムによって、数学の基礎理論の無矛盾性を証明するものとして形成された。クルト・ゲーデルとゲルハルト・ゲンツェンによる結果やその他は、プログラムの部分的な解決を提供しつつ、無矛盾性の証明に伴う問題点を明らかにした。集合論における仕事は殆ど全ての通常の数学を集合の言葉で形式化できることを示した。しかしながら、集合論に共通の公理からは証明することができない幾つかの命題が存在することも知られた。むしろ現代の数学基礎論では、全ての数学を展開できる公理系を見つけるよりも、数学の一部がどのような特定の形式的体系で形式化することが可能であるか（逆数学のように）ということに焦点を当てている。