');

一般用語集

一般用語集

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

項目 すうがくきそろん【数学基礎論】
意味 19 世紀末から 20 世紀初頭にあらわれた集合論の矛盾を解決するために,20 世紀初頭に成立した数学の一分科。数学の論理的構造を,記号論理を用いて研究する。広く数学的諸研究の理論的基礎となる。