ログイン
会員登録
等号付き一階述語論理
書いてみる
関連タグ
#ZFC公理系 (28)
#一階述語論理 (5)
#公理的集合論 (28)
#ZFC (558)
#ゲンツェン流シーケント計算 (1)
#シーケント (1)
人気
急上昇
新着
定番
有料のみ
3件
人気の記事一覧
日記(2021/8/1):読書要約をやっていたら今日が終わってしまった。マジかよ(注:論理と集合と数の専門的な話)
犬神工房
3年前
2
『高校数学のロードマップ』B_1(参考編_集合編)1(集合)1(論理学の一部)
犬神工房
5年前
5
『高校数学のロードマップ』B_1(参考編_集合編)2(演算)2(集合~写像)
犬神工房
5年前