Extension of first-order logic with quantifiers that range over relations and functions, not merely individuals. Strictly more expressive (categorical axiomatisations of arithmetic/reals) but incomplete under standard semantics.
Extension of first-order logic with quantifiers that range over relations and functions, not merely individuals. Strictly more expressive (categorical axiomatisations of arithmetic/reals) but incomplete under standard semantics.