2차 논리의 필요성과 예시

[익명(211.36)]

일상적인 언어에서 2차 논리가 쓰이나?

[익명(104.28)]

1차논리를 정의할 때 우리의 메타언어가 이미 (형식화한다면) 2차논리의 형태를 띄고 있지. 가령, ‘임의의 술어 X에 대해 Xa ⊢ ∃xXx이다’