수학의 단계적 공리성으로 모든 것을 알 수 없음과 명확한 기준이 없음으로 인한 증명불가능성의 비엄밀함과 그로 인한 상대성 이론의 한계

연속체 가설의 증명