대문
임의의 문서로
근처
로그인
설정
기부
위키백과 소개
면책 조항
검색
분류
:
형식 체계
언어
주시
편집
이 분류에 대해서는
형식 체계
문서를 참고하십시오.
하위 분류
다음은 이 분류에 속하는 하위 분류 3개 가운데 3개입니다.
ㄱ
공리
(2 C, 9 P)
ㅈ
집합론 체계
(5 P)
ㅊ
추론 규칙
(2 C, 11 P)
"형식 체계" 분류에 속하는 문서
다음은 이 분류에 속하는 문서 4개 가운데 4개입니다.
형식 체계
ㄱ
공리
ㅈ
제일원리
ㅊ
추론 규칙