最終更新日：2024/08/03

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

正解を見る

second-order logic

問題を編集する

元となった辞書の項目

second-order logic

noun

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

Second-order logic is a branch of mathematical logic.

意味（1）

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