分からない問題はここに書いてね458

[過去ﾛｸﾞ] 分からない問題はここに書いてね458 (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

747: 2020/03/20(金)00:28 ID:vSa3xPGp(1/2) AAS
>>745
ある特定の論理式
だから実際にそういうものを具体的に作るってことじゃないの？

749(1): 2020/03/20(金)00:30 ID:vSa3xPGp(2/2) AAS
>>745
>その公理を加えてできる公理系ではそういう論理式の存在が証明できるというだけでしょ
それはZFCでできるでしょ
具体的では無いが