理論物理学
理論物理学（りろんぶつりがく、English: theoretical physics）は、物理学において、理論的な模型や理論的仮定（主に数学的な仮定）を基に理論を構築し、既知の実験事実（観測や観察の結果）や、自然現象などを説明し、かつ未知の現象に対しても予想する物理理論を扱う分野のこと。実験物理学と対比して使われる言葉。
数理論理学
言葉を、代数学におけると同様に文字や記号の列で表して、その変換について研究するいわゆる記号論理学、数理論理学の発祥は、19世紀のジョージ・ブールによる「論理代数」、ゴットロープ・フレーゲの書『概念記法』に見ることができる。前者は命題論理、後者は述語論理の原型である。数学自体を数学によって研究する数学基礎論は、数理論理学なしにはあり得ないものである。