-
選択公理ちゃんマジ公理
39723pv 60 5 users 4 -
数学基礎論を一人で勉強していて悩んだときの思い出
29613pv 71 28 users 3 -
足立恒雄先生による「幾何学の公理系」と「数学基礎論」に関する連ツイまとめ
18655pv 38 22 users 16
-
直観主義,背理法と否定の導入
16161pv 33 1 user -
数学と公理的集合論ZFC
13950pv 27 -
収束列が取れるか。単射と全射から全単射が作れるか。
11786pv 64 4 users -
【自分用まとめ】モデル理論に関する雑感とそれに続く議論
11556pv 13 -
無限公理を否定したとき,選択公理は証明可能か?
10592pv 23 1 user -
Fermatの最終定理と選択公理
9690pv 22 1 user -
メタ定理の証明はどこでなされているか?
9634pv 11 1 user -
クラスありの拡張言語が生の集合論と証明能力が変わらない
9212pv 12 1 user -
不完全性定理①
6512pv 1 2 users -
巨大数とビジービーバー
6081pv 10 -
Pmax
4034pv 18 -
集合論家DIkeさんと証明論家GLogさんの対話
3664pv 14 1 user -
直観主義では完全性定理はトートロジーになる?
2832pv 8 -
集合論の公理と実在の多様性?
2472pv 9 -
∀x¬(F(x)∈x) となるようなFを構成しなさい
2453pv 15 -
2018年1月9日のざんさんによるモデル理論のタイプについてのツイート
1856pv 1