2.1 공리론적인 방법
2.1.1 공리로 알려진 명제 몇 개를 가정하고, 이 공리로부터 논리적인 추론에 의해 정리들을 유도하는 것
Top