数学基礎論（すうがくきそろん、英: foundations of mathematics, mathematical logic and foundations of mathematics）は、現在の日本では、もっぱら数理論理学（mathematical logic）を指す言葉として使われる。 == 概要 == === 数学書での解説 === 新井敏康『数学基礎論 Mathematical Logic』（増補版）：「基礎的な概念に十分に満足のいく数学的定義を与え, 現在も発展している数学の一分野である」 === 数学辞典での解説 === 『岩波 数学入門辞典』：数理論理学や超数学（metamathematics、メタ数学）とほぼ同義であり、「論理を扱う数学の一分野」。
数学基礎論（すうがくきそろん、英: foundations of mathematics, mathematical logic and foundations of mathematics）は、現在の日本では、もっぱら数理論理学（mathematical logic）を指す言葉として使われる。 == 概要 == === 数学書での解説 === 新井敏康『数学基礎論 Mathematical Logic』（増補版）：「基礎的な概念に十分に満足のいく数学的定義を与え, 現在も発展している数学の一分野である」 === 数学辞典での解説 === 『岩波 数学入門辞典』：数理論理学や超数学（metamathematics、メタ数学）とほぼ同義であり、「論理を扱う数学の一分野」。
出典: Wikipedia「数学基礎論」 · CC BY-SA 4.0
この記事を共有: X · Bluesky