쿠쿠리 [1310649] · MS 2024 · 쪽지

2025-02-14 16:41:59
조회수 49

[불완전성 정리 반박 1줄]

게시글 주소: https://orbi.kr/00071996014

완전성이 보장된 명제논리(논리회로)를 쓰는 컴퓨터로 페아노 산술(PA)을 구현할수 있으므로 PA는 완전하다

0 XDK (+0)

  1. 유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.