直観主義型理論シリーズ。他の回はこちらから。 選択公理 選択公理はITTでは定理になる。 選択公理の定式化 新井敏康『集合・論理と位相』を参考にする。 基幹講座 数学 集合・論理と位相 作者:新井 敏康 東京図書 Amazon 選択公理は以下のような定式化が一…