ログイン
会員登録
二重否定除去則
書いてみる
関連タグ
#ZFC (434)
#ZFC公理系 (28)
#一階述語論理 (5)
#個数 (46)
#数理論理学 (65)
#直観主義論理 (4)
人気
急上昇
新着
定番
有料のみ
2件
人気の記事一覧
数学(2022/5/6):キューネン本2冊についての記事_2.ZFC集合論について論じる前の下準備(一階述語論理、直観主義論理、(厳格な)構成主義的数学)
犬神工房
2年前
2
日記(2021/8/1):読書要約をやっていたら今日が終わってしまった。マジかよ(注:論理と集合と数の専門的な話)
犬神工房
3年前
2