Last Updated：2025/11/29

A formal system which extends first-order logic by allowing quantification over relations between members of the universe.

音声機能が動作しない場合はこちらをご確認ください

See correct answer

second-order logic

Source Word

second-order logic

uncountable usually

A formal system which extends first-order logic by allowing quantification over relations between members of the universe.

Japanese Meaning

第一階層論理（ファーストオーダーロジック）を拡張し、対象間の関係に対する量化を許す形式体系。

second-order logic permits quantification over relations, enabling the expression of properties that first-order logic cannot capture.

二階述語論理は、一階述語論理を拡張して宇宙の要素間の関係に対する量化を可能にする形式体系であり、これにより一階述語論理では捉えられない性質を表現できる。

Sense（1）

A formal system which extends first-order logic by allowing quantification over relations between members of the universe.

second-order logics

（ plural ）