数学基礎論

数学基礎論（すうがくきそろん, ）は、数学の一分野。他の分野が整数・実数・図形・関数などを取り扱うのに対し、数学自体を対象とする。厳密な論理によって構成される数学は、発展するに従って自分自身をも厳格に定義する方向へと進み、多くの数学者・論理学者がその夢に心血を注いだ。数学を論理学の上に基礎づける論理主義は、フレーゲの独創的な仕事に始まる。残念ながら、その計画は、ラッセルの発見したパラドックスによって頓挫する。
Wikipedia.orgをもっと見ると…