정리 증명 논리: 공리로부터 특정 결론 도출