2階述語論理 完全性 でググったらこんなのが見つかった
https://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/2016-September/001081.html
2階述語論理の意味論にはタルスキ意味論とヘンキン意味論があり
ヘンキン意味論では完全性が成り立つがタルスキ意味論では完全性が成り立たないのだそうだ
意味分からんけど
数学基礎論・数理論理学 その19
■ このスレッドは過去ログ倉庫に格納されています
474１３２人目の素数さん
2024/09/29(日) 14:05:11.18ID:RTm/4HuC■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【文春】女子アナにチョレイ！ 卓球・張本智和(23) チャラい“DM連続ナンパ” ★2 [Ailuropoda melanoleuca★]
- 【サッカー】塩貝健人は後半41分から出場 PK戦は蹴る前に終了「森保さんに『俺、PK下手そうですか？』って聞いた」 [ゴアマガラ★]
- 最も信用できない情報源ワースト2 インフルエンサーのSNSが惨敗の理由…信頼するのは「家族の口コミ」「NHKのテレビ」… [少考さん★]
- 【豆〜】フジテレビ、倉本聰さん追悼番組「北の国から 83冬」10月9日に放送決定「麓郷に沢田松吉(笠智衆という老人がふらりと現れる…」 [征夷大将軍★]
- マクドナルドのキャラクター「ドナルド」、きょうから「ロナルド」へ [おっさん友の会★]
- 【アジア大会/柔道】中国選手が衝撃の反則負け 前田凛にガブリ噛みつき 歯形くっきり・・・女子70kg級(※動画あり) [あずささん★]
- (´･ω･`)おはよ
- 🏡
- 『おぼっちゃまくん』再アニメ化で話題の小林よしのり先生、さっそくネトウヨとバトル開始 [687994443]
- 管理職には残業代出しません←これマジなんなの
- お前らって無双シリーズに出てくる拠点兵長だよな
- (ヽ´ん`)「オスの尻に卵産み付ける習性の体重250kgのエイリアンが地球侵略してこない限り、日本男に女性の苦しみはわからない」 [932029429]