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