• =별과바다 · 1125342 · 15시간 전 · MS 2022

    그러니까 페아노 공리계에 모순이 있다?

  • 쿠쿠리 · 1310649 · 15시간 전 · MS 2024

    산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
    완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌