すうがくきそろん

デジタル大辞泉

すうがく‐きそろん【数学基礎論】

読み方：すうがくきそろん

数学の基礎に関する理論。19世紀に導入された集合論が逆理（逆説）を派生させたが、その反省から生まれた、数学とはいかなるものであるべきかの理論。20世紀初頭に成立。記号論理学を用いる。