2차 논리: 1차 논리의 술어를 변항으로 취할 수 있음. 즉 술어를 변항으로 하는 술어가 존재함.
3차 논리: 2차 논리의 술어를 변항으로 취할 수 있음. 즉 술어를 변항으로 하는 술어를 변항으로 하는 술어가 존재함.
4차 논리: 3차 논리의 술어를 변항으로 취할 수 있음.
...

이거 맞냐