괴델의 불완정성 정리 와 비슷한 맥락이 아닐까 합니다.

"괴델의 불완정성 정리 : 모순이 없는 수학 체계에는 반드시 '증명할 수 없는 명제가 하나 이상 있다'는 정리"