분류:메타논리학 이 분류에 대해서는 메타논리학 문서를 참고하십시오. 하위 분류 다음은 이 분류에 속하는 하위 분류 2개 가운데 2개입니다. ㅎ 형식 언어 (5 C, 32 P) 형식 체계 (3 C, 4 P) "메타논리학" 분류에 속하는 문서 다음은 이 분류에 속하는 문서 11개 가운데 11개입니다. ㄱ 겐첸의 일관성 증명 결정가능성 괴델의 불완전성 정리 괴델의 완전성 정리ㄷ 동치ㅁ 메타 문법 변수 메타 언어 메타 커뮤니케이션 메타논리학ㅅ 사용-언급 구분ㅌ 타입-토큰 구별
