수학처럼 몇 가지를 믿거나 다른공리계를 쓰거나
참인 데이터 몇가지를 가지고 쌓아올릴수밖에없음
거기서 논리적으로 사고해야함