분류:형식 체계

ㄱ

• 공리‎ (2 C, 9 P)

ㅈ

• 집합론 체계‎ (4 P)

ㅊ

• 추론 규칙‎ (2 C, 11 P)

• 형식 체계

ㄱ

• 공리

ㅈ

• 제일원리

ㅊ

• 추론 규칙