second-order logic

Noun

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 ）