[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 45 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
438(1): IUT応援団 団員 2020/05/10(日)18:00 ID:vZYbiwt9(30/35) AAS
>>436
Kunenの本で9つだからといって、どんな定式化でも9つとは言えないけどねｗ
大体、公理図式を1個と数えて平気な顔できるのは論理を知らない素人だけｗ
439: 2020/05/10(日)18:38 ID:9YYUC+WW(1) AAS
>>438
> 大体、公理図式を1個と数えて平気な顔できるのは論理を知らない素人だけｗ
論理に詳しいらしい君による上の行での主張を支えているメタロジックに従えば
そもそも「公理図式」を「公理」呼ばわりして平気な顔できるのは論理を知らない素人だけ
ということになるね
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s