Last Updated：2025/11/29
second-order logic permits quantification over relations, enabling the expression of properties that first-order logic cannot capture.
See correct answer
second-order logic permits quantification over relations, enabling the expression of properties that first-order logic cannot capture.
音声機能が動作しない場合はこちらをご確認ください
Edit Histories（0）
Source Sentence
二階述語論理は、一階述語論理を拡張して宇宙の要素間の関係に対する量化を可能にする形式体系であり、これにより一階述語論理では捉えられない性質を表現できる。
