「#形式的演繹」の人気タグ記事一覧｜note ――つくる、つながる、とどける。

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

1年前

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

1年前