「集合論」に関するサイレントキーワード「順序数」が含まれる科研費採択研究1件 【研究名】公理論的集合論の証明論的研究 【研究代表者】新井 敏康 広島大学 総合科学部 助教授 https://nrid.nii.ac.jp/ja/nrid/1000040193049/