고차 논리 - 위키백과, 우리 모두의 백과사전
고차 논리(高次論理, higher-order logic)는 관계 또는 관계의 관계 등을 지칭하는 변수에 전칭·존재 기호를 가할 수 있는 일련의 논리 체계들이다. 모든 고차 논리는 ω차 논리(ω次論理, ω-order logic)의 부분 논리 체계로 생각할 수 있다.:Chapter 5, §50 가 2 이상의 자연수 또는 가장 작은 무한 극한 순서수 라고 하자. 는 0차 종류이다.
https://ko.wikipedia.org/wiki/%EA%B3%A0%EC%B0%A8_%EB%85%BC%EB%A6%AC