noun
Meaning 1
A formal system which extends first-order logic by allowing quantification over relations between members of the universe.
Definition source: English Wiktionary via Wiktextract
Usage: uncountable, usually
No example sentence was provided for this meaning.
Meaning relationships
Synonyms: none provided
Antonyms: none provided