ㅈㄱㄴ
어차피 주어진 공리계에서 내릴 수 있는 결론은 유한하지않냐