대문
임의의 문서로
근처
로그인
설정
기부
위키백과 소개
면책 조항
검색
분류
:
증명 이론
언어
주시
편집
이 분류에 대해서는
증명 이론
문서를 참고하십시오.
하위 분류
이 분류에는 하위 분류 1개만이 속해 있습니다.
ㅊ
추론 규칙
(2 C, 11 P)
"증명 이론" 분류에 속하는 문서
다음은 이 분류에 속하는 문서 13개 가운데 13개입니다.
ㄱ
건전성
겐첸의 일관성 증명
결정가능성
괴델의 불완전성 정리
괴델의 완전성 정리
ㅁ
메타 언어
ㅅ
시퀀트 계산
ㅇ
완전성
ㅈ
자름-제거 정리
증명 이론
ㅋ
커리-하워드 대응
크레이그의 보간 정리
ㅎ
힐베르트 프로그램