higher-order logic


관계 또는 관계의 관계 등을 지칭하는 변수에 전칭·존재 기호를 가할 수 있는 일련의 논리 체계들
모든 고차 논리는 ω차 논리의 부분 논리 체계로 생각할 수 있다



> [고차 논리 - 위키백과, 우리 모두의 백과사전](https://ko.wikipedia.org/wiki/%EA%B3%A0%EC%B0%A8_%EB%85%BC%EB%A6%AC)






