[過去ﾛｸﾞ]
分からない問題はここに書いてね458 (1002ﾚｽ)
分からない問題はここに書いてね458 http://rio2016.5ch.net/test/read.cgi/math/1581260776/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
745: １３２人目の素数さん [sage] 2020/03/19(木) 19:55:31.68 ID:BW7TgbOd >>744 その公理を加えてできる公理系ではそういう論理式の存在が証明できるというだけでしょ そういう論理式の存在が、つけ加える前の公理系（単なるZFCとか）と独立な場合もちゃんと考慮しようよ http://rio2016.5ch.net/test/read.cgi/math/1581260776/745
747: １３２人目の素数さん [] 2020/03/20(金) 00:28:49.59 ID:vSa3xPGp >>745 ある特定の論理式 だから実際にそういうものを具体的に作るってことじゃないの？ http://rio2016.5ch.net/test/read.cgi/math/1581260776/747
749: １３２人目の素数さん [] 2020/03/20(金) 00:30:07.33 ID:vSa3xPGp >>745 >その公理を加えてできる公理系ではそういう論理式の存在が証明できるというだけでしょ それはZFCでできるでしょ 具体的では無いが http://rio2016.5ch.net/test/read.cgi/math/1581260776/749
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.042s