選択公理審議会at MATH選択公理審議会 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このスレッドのURL■項目テキスト283:132人目の素数さん 23/10/07 17:06:53.98 gn92qZNi.net >>275 選択公理の話をしているのだから、選択公理と独立かつ>>265の商空間を作れるような公理系Γと公理系Γ+ACの比較をしていると思うんだけど、ではそのΓがZFでないと言うならどんな公理系を想定しているの? 284:132人目の素数さん 23/10/07 18:57:02.71 1LQHtMr5.net >>274 あなた 正しいの? 285:132人目の素数さん 23/10/08 05:26:01.35 gn/ExfrY.net >>277 それは「あなたは正しいですか」って聞いてる? それなら「私が正しいか正しくないか私には分かりません」が答えになる 286:132人目の素数さん 23/10/11 10:27:48.48 0SVA+inZ.net 構成主義のwikipedia眺めてたら「構成主義はしばしば直観主義と同一視される」って書いてあってびっくりした >>268や 287:>>269がおかしなこと言ってるとは思ってたが、こいつらもそういう勘違いしてたのか? 288:132人目の素数さん 23/10/11 12:25:40.47 rb7PWelf.net 洗濯終わった 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch