数学基礎論・数理論理学 その19 (550ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
457(1): 2024/09/29(日)00:22 ID:Sdz7AUM/(1/9) AAS
>>455
彼のこと知らん人が多いみたいだから教えてあげただけだよ
459: 2024/09/29(日)00:32 ID:Sdz7AUM/(2/9) AAS
>>458
さすがにそれはないやろ
461: 2024/09/29(日)00:53 ID:Sdz7AUM/(3/9) AAS
>>460
意味わからん
2階だろうが3階だろうが完全ってどうやって証明するつもりなん？
463: 2024/09/29(日)01:06 ID:Sdz7AUM/(4/9) AAS
>>462
それがこれの答えになってるとは思えないのだが…
458 １３２人目の素数さん 2024/09/29(日) 00:28:52.77 ID:lqIWNgoG
トンデモさん？二階だろうが三階だろうが述語論理は完全だよ。
465: 2024/09/29(日)01:17 ID:Sdz7AUM/(5/9) AAS
>>464
高階のときは成り立たないだろ
成り立つというなら証明してみろよ
467: 2024/09/29(日)01:35 ID:Sdz7AUM/(6/9) AAS
>>466
完全性の定義がお互いに違うだけじゃねーの？
どういう定義してるのよ？
こっちは|=ならば|-の話なんだけど、そこは一致してる？
469(1): 2024/09/29(日)05:22 ID:Sdz7AUM/(7/9) AAS
今日のこいつ ID:lqIWNgoG が ID:bVRl+o2W 本人だったんじゃねーかって気がして来た
480: 2024/09/29(日)21:04 ID:Sdz7AUM/(8/9) AAS
>>472
こいつ過去に色んな数学コミュでおんなじように暴れてきたから
482: 2024/09/29(日)22:21 ID:Sdz7AUM/(9/9) AAS
>>481
定義書いてごらん
|=をどう定義したの？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.027s