[일반] 공리를 정할때 이 공리가 모순없는 지 증명을 어떻게 함?

[익명(118.235)]

다른 공리로부터 거짓또는 참임을 증명할수없음을

증명하는 방법이잇음?

- dc official App

[수갤러 1(118.235)]

네 있습니다

[수갤러 2(211.234)]

후자의 대표적인 예시로는 forcing이 있지 코헌이 연속체 가설의 증명 불가능성을 증명하려고 만듦