second-order logic

extension of first-order logic allowing quantification over functions and relations

en-GB/sɪˈkɒnd - ˈɔːdə ˈlɒd͡ʒɪk/
en-US/ˈsɛkənd - ˈɑɹdɚ ˈlɑd͡ʒɪk/

分类：

higher-order logic