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

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

数学基礎論からじっくり議論するブログです。