[일반] 증명이불가능한걸 증명할수도있는거임?

[익명(118.235)]

그럼 증명이불가능하다는걸 증명했다는 증명이되는데 자기모순아님?

[익명(aa1604)]

명제 A : 대충 수학 명제 명제 B : A는 xxx 공리계만 써서는 증명이 불가능함 B에 대한 참/거짓을 논하는거지 A에 대해 논하는게 아니니까