Analysis of information sources in references of the Wikipedia article "数学基礎論" in Japanese language version.
数学基礎論
foundations of mathematics
数理論理学や超数学とほぼ同じ意味で,論理を扱う数学の一分野である. … ゲーデルの不完全性定理は有限の立場(形式主義)で数学の無矛盾性を証明することはできないことを示した.ゲンツェン(Gentzen)は,有限の立場より緩い制限のもとで自然数論の無矛盾性を証明した.
数学基礎論は計算機科学〔コンピュータ科学〕とも密接に結びついている.
数理論理学
mathematical logic
数学の理論を展開する際にその骨格となる論理の構造を研究する分野をいう.数学基礎論とほぼ同義である.