공리적 방법과 같은 뜻으로 어떤 영역의 공리계를 찾아내어, 그것과 특정한 추리 규칙에 따라 그 영역의 모든 명제를 연역적으로 이끌어 내는 방법입니다.
[무물보AI] 답변 로딩중...