「#直観主義論理」の人気タグ記事一覧｜note ――つくる、つながる、とどける。

数学（2022/5/6）:キューネン本2冊についての記事_2.ZFC集合論について論じる前の下準備（一階述語論理、直観主義論理、（厳格な）構成主義的数学）

2年前

2

日記（2021/8/1）:読書要約をやっていたら今日が終わってしまった。マジかよ（注:論理と集合と数の専門的な話）

3年前

2

数学（2022/7/26）:キューネン本2冊についての記事_17_FIN.『キューネン数学基礎論講義』第I章&『集合論』第I章の特色

2年前

1

数学（2022/7/21）:キューネン本2冊についての記事_16.ZFC集合論の公理のリスト_14（最終成果物:（無限をも扱える）数学）

2年前