強み（数学的論理）JJapedia 編集部|更新日: 2026年7月26日 2つの形式論理システムの相対的な強さは、モデル理論によって定義できます。具体的には、のすべての基本クラスが の基本クラスである 場合、の論理はの論理と同じくらい強いと言われます。[1] α {\displaystyle \alpha} β {\displaystyle \beta} β {\displaystyle \beta} α {\displaystyle \alpha} 参照 抽象論理 リンドストロームの定理 参考文献 ^ ハインツ・ディーター・エビングハウス 「拡張論理学：一般的枠組み」KJ・バーワイズとS・フェファーマン編『モデル理論的論理学』1985年ISBN 0-387-90936-2 43ページ ヴte 関連するトピック関連2つの形式論理関連、モデル理論関連基本クラス関連抽象論理
