トップページ
>
数学
>
2021年12月29日
>
9HxcPjEw
書き込み順位＆時間帯一覧
29 位
/112 ID中
時間
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
Total
書き込み数
3
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
3
使用した名前一覧
書き込んだスレッド一覧
１３２人目の素数さん
Inter-universal geometry と ABC予想 (応援スレ) 62
書き込みレス一覧
Inter-universal geometry と ABC予想 (応援スレ) 62
938 ：
１３２人目の素数さん
[]：2021/12/29(水) 00:32:17.46 ID:9HxcPjEw
いや、基礎の公理でx∉xが示せるのは当たり前だろ
ただ、そこから更にx∊xまで示しちゃわないか、つまり矛盾するかしないかはZF次第ってだけの話やろ
そんなことよりIUTの話をしれよ
Inter-universal geometry と ABC予想 (応援スレ) 62
939 ：
１３２人目の素数さん
[]：2021/12/29(水) 00:39:03.19 ID:9HxcPjEw
あ〜、まあ「ループが存在しない」が２通りに解釈できるんかな
１．x∉xが示せる
２．x∊xが示せない
１．の意味なら基礎の公理のおかげと言っていい
２．の意味なら、基礎の公理を付け足しても２．が実現できるわけはない
Inter-universal geometry と ABC予想 (応援スレ) 62
943 ：
１３２人目の素数さん
[]：2021/12/29(水) 00:57:24.51 ID:9HxcPjEw
え、独立じゃなかった？
ZFC内で、ZFCのモデルの存在を仮定すれば、AZFとか基礎の公理成り立たないシステムのモデル作れなかったっけ？
※このページは、
『２ちゃんねる』
の書き込みを基に自動生成したものです。オリジナルはリンク先の２ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合は
メール
をしてください。対応します。