ログイン
会員登録
直観主義論理
書いてみる
関連タグ
#ZFC (561)
#ZFC公理系 (28)
#数理論理学 (72)
#論理学 (773)
#論理式 (273)
#集合論 (162)
人気
急上昇
新着
定番
有料のみ
4件
人気の記事一覧
数学(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年前