postulate 썸네일형 리스트형 <원론>의 형식체계 초기 그리스 수학자들에 의한 가장 위대한 성취 중의 하나는 틀림없이 공준적 사고의 창조일 것이다. 연역적 체계 안에서 한 명제를 입증하기 위해서는 그 명제가 보다 이전에 입증된 어떤 다른 명제들로부터 논리적으로 유도되는 필연적 결과임을 보여야 하고 다시 여기에 사용된 명제도 그 이전에 이미 입증된 또 다른 명제로부터 유도되어야 하고, 계속해서 이 과정이 반복되어야 한다. 그러나 이 과정을 무한히 계속할 수는 없으므로 처음에 증명없이 인정해야 하는 어떤 유한개의 명제를 약속해야 한다. 만일 그렇게 하지 않으면 명제 B로부터 명제 A를 추론하고, 다시 명제 A로부터 명제 B를 추론하는 회귀현상에 빠져버리고 말 것이다. 이 최초에 가정된 명제를 공준(postulate) 또는 공리(axiom)라고 부르는데 그 .. 더보기 이전 1 다음