最終更新日：2025/11/29
second-order logic permits quantification over relations, enabling the expression of properties that first-order logic cannot capture.
正解を見る
second-order logic permits quantification over relations, enabling the expression of properties that first-order logic cannot capture.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
元となった例文
二階述語論理は、一階述語論理を拡張して宇宙の要素間の関係に対する量化を可能にする形式体系であり、これにより一階述語論理では捉えられない性質を表現できる。
