高階述語論理

高階述語論理（こうかいじゅつごろんり、英: Higher-order logic）は、一階述語論理と様々な意味で対比される用語である。例えば、その違いは量化される変項の種類にも現われている。