形式主義は、数学を公理と推論法則によるゲームとみなし、有限の立場により数学の無矛盾性を証明するによるヒルベルト・プログラムによって、数学の基礎付けを行う立場で、ダフィット・ヒルベルトが提唱した。ヒルベルト・プログラムは、「数学の証明を研究する数学」としての超数学である証明論を生み出した。一方、ゲーデルの不完全性定理によって「自然数論を含む帰納的公理化可能な理論が無矛盾であれば、それ自身の無矛盾性証明が存在しない」ことが示され、ヒルベルト・プログラムは一応の決着をみた。ゲーデルの仕事により、数学の形式体系の構文論（証明論）のみならず、意味論（モデル理論）や、計算可能性に関する再帰理論の研究が進むことになり、数学基礎論から数理論理学へと進化していった。
日本では、数学基礎論は、歴史的経緯により、本来の数学の基礎付けの意味だけでなく、それに用いられる超数学および数理論理学の意味でも用いられる。
影響.
数学を人間の精神活動から離れて、形式主義的にかつ有限の立場から検証しなおすことにより、計算機科学の基礎と発展に大きく寄与した。たとえば、今まで自明なものとして受け入れられていた多くの数論的関数を有限の立場から考察することにより、アルゴリズムの研究に直接の影響を与えた。プログラミング言語で必ず登場するデータ型の形式的宣言や論理構造、関数の概念は遠くは数学基礎論に由来する。数学基礎論で活躍したフォン・ノイマンやチューリングが後に計算機科学において先駆的な役割を果たした。そのような意味で数学基礎論は単なる机上の空論ではなく、むしろコンピュータをインフラの一つとする現代社会の形成に多大な影響を与えた。
晦日
月相を表す弦・望・晦・朔に由来するもので、「朔」が月が現れることを意味するのに対し、「晦」は月が隠れることを意味する。
三十日、みそか、つごもり.
三十日に晦日の当て字や訓読みをするようになった所以は、満月の中旬以降、月が徐々に見えなくなっていくことにある。また晦のつごもりは「月隠り（つきごもり）」が転じ、晦は月相の意味とされる。
現在でも三十日と表記しみそかと呼ぶことが多い。三十日蕎麦（みそかそば）、関西ではつごもりそば。三十日払い（みそかばらい）など。
大晦日・小晦日.
ビッグコミックスペリオール
概要.
連載作品一覧.
連載終了作品一覧.
ウェブサイトでの連載.