翻訳と辞書 Words near each other ・ 無限神刀流 ・ 無限神刀流居合術 ・ 無限積 ・ 無限精機 ・ 無限級数 ・ 無限級数展開 ・ 無限背進 ・ 無限航路 ・ 無限花序 ・ 無限衝撃応答 ・ 無限論理 ・ 無限責任 ・ 無限責任中間法人 ・ 無限責任社員 ・ 無限軌道 ・ 無限軌道SSX ・ 無限連鎖講 ・ 無限連鎖講の防止に関する法律 ・ 無限連鎖講防止法 ・ 無限遠 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 無限論理 ： ウィキペディア日本語版 無限論理[むげんろんり] :''数理論理学または順序数の概念に詳しくない者はまずそちらの記事を参考にすることが推奨される。'' 無限論理 (むげんろんり、) は、無限に長い言明および／または無限に長い証明を許す論理である。 == 概要 == いくつかの無限論理は標準的な一階述語論理とは異なる性質を持つ。特に、無限論理はコンパクト性や完全性を満たさないことが多い。コンパクト性や完全性の概念は、有限論理においては等価であることもあるが、無限論理においてはそうではない。無限論理においては強いコンパクト性や強い完全性の概念が定義される。この記事では、ヒルベルト型無限論理について主に述べる。この型はかなり研究されてきており、有限論理の最も直接的な拡張を構成している。しかしながら、これらは形式化されているまたは研究対象となっている唯一の無限論理ではない。 Ω論理という無限論理が完全かどうかを考察することは連続体仮説の解明につながる。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「無限論理」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.