>>492
つづき
https://ja.wikipedia.org/wiki/%E4%B8%80%E9%9A%8E%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86
一階述語論理
(抜粋)
一階述語論理に関する定理
以下、健全性定理と完全性定理以外の重要な定理を列挙する。
2.レーヴェンハイム・スコーレムの定理 : κ を無限基数とする。論理式全体の集合の濃度が κ であるような一階の言語における文の集合がモデルを持つなら、それは濃度 κ 以下のモデルも持つ。
他の論理との比較
・無限論理は無限に長い文を許す。例えば無限個の論理式の連言や選言が許されたり、無限個の変項を量化できたりする。
こうした論理の多くは、一階述語論理の何らかの拡張と言える。これらは、一階述語論理の論理演算子と量化子を全て含んでいて、それらの意味も同じである。
リンドストレムは、一階述語論理の拡張には、レーヴェンハイム・スコーレムの下降定理とコンパクト性定理の両方を満足するものが存在しないことを示した。
この定理の内容を精確に述べるには、論理が満たしていなければならない条件を数ページにわたって列挙する必要がある。
例えば、言語の記号を変更しても各文の真偽が基本的に変わらないようになっていなければならない。
一階述語論理のいくぶんエキゾチックな等価物には、次のものがある。
順序対構成をもつ一階述語論理は、特別な関係として順序対の射影を持つ関係代数(これはタルスキと Givant によって構築された)と精確に等価である。
つづく
現代数学の系譜 カントル 超限集合論
■ このスレッドは過去ログ倉庫に格納されています
493現代数学の系譜 雑談 ◆e.a0E5TtKE
2019/11/27(水) 21:00:00.97ID:qnEhNItW■ このスレッドは過去ログ倉庫に格納されています
ニュース
- トランプ大統領「耐え抜け」 関税発動でアメリカ国民に檄「これは経済革命、われわれは勝利する」 [Hitzeschleier★]
- 「トランプは退陣を」 米各地で抗議デモ、最大規模 ★5 [蚤の市★]
- 【芸能】上沼恵美子、中居正広氏に激怒「クズやな!」「女をモノ扱いにして」「最悪やわ」 [Ailuropoda melanoleuca★]
- 【大阪】ドラッグストア「コスモス」が謝罪、「無断駐車」警告は誤り 共用駐車場の認識不足が原因 ★2 [ぐれ★]
- 上沼恵美子 中居氏・フジ問題でファンに釘刺す「誘われて行った女性も悪い、とか言わんといてね!」 [ひかり★]
- 【動物】なぜ千葉で? 施設脱走し「キョン」大繁殖 8万頭超どう向き合う [ぐれ★]
- 𝒉𝒐𝒖𝒔𝒆🏡
- 【関税発動】トランプ大統領、アメリカ国民に檄、「耐え抜け」 [419054184]
- 【実況】博衣こよりのえちえちクロノトリガー🧪 ★4
- 【石破】 Yahoo ID、勝手に停止されて生活が詰む人が急増 [732912476]
- 【悲報】日本政府「関税がこんなに高いなんて寝耳に水だった。びっくりしている」びっくりしている模様 [673057929]
- 奈良市議会のハラスメント調査結果…「維新議員が怒鳴り込んできた」「赤旗の勧誘を禁止して」など悲痛な声 [481941988]