横向きに検討します。
選択公理と同値な命題をツイートすると、自動的に「選択公理」に変換されます。
第二回選択公理オフ
2012年02月12日深夜の数学クラスタ
無限公理を否定したとき,選択公理は証明可能か?
Fermatの最終定理と選択公理
応援: 数学クラスタ → 受験生
「無限、ってめちゃいっぱいある」からの全単射: R→R^2
カントールの対角線論法
第一回選択公理オフ
収束列が取れるか。単射と全射から全単射が作れるか。
選択公理ツイートをRTして規制されたというお馴染のアレ
極大イデアルの存在とせんたくん
10月12日は選択公理の日?
Henkin 拡大でモデルの拡大列を作る証明と選択公理
選択公理クラスタは今日も走る
悲しみの選択公理
AC(公共広告機構)のCMを見た人たちの反応
選択公理ちゃんマジ公理
数学:集合論と選択公理