新米数学博士の数学談話室

数学基礎論について論じ始めるにあたって、まず「『数学基礎論』とは何か？」ということと、基礎論の土台になる記号論理学について考えたいと思います。