[일반] 근데 수학 난제들중에 증명 불가한것도 있잖슴

[익명(h1r5enpsrrsq)]

그 증명가능성에 대한 참거짓여부는 모든 명제에 대해 보일 수 있음?

[갱생실패리카(lillollool)]

언어에관한 언어에관한 언어가 필요한걸로 암

[갱생실패리카(lillollool)]

어떤 체계내에서 p가 증명가능하다 불가능하다 이거는 그 체계 한단계 위의 언어에서의 정리고 그게 또 참이다 거짓이다 이런건 그 한단계 위에서의 얘기인거 라고 쪼가리로 읽었던 기억이.

[갱생실패리카(lillollool)]

p p 는 참이다 p 는 참이다 는 참이다 약간 이런애들같은관계