괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071980666
1. 모든 논리는 고전논리로 표현가능
2. 고전논리는 완전함
3. 산술체계는 고전논리로 나타낼수 있음
4. 산술체계는 완전함
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
(화미영생지) 21312 (91/97/3/98/94)에여 낮반이여도...
-
안녕하세요, 시대인재 라이브 강의를 지난주부터 라이브로 듣게 됐는데 이전 회차까지의...
-
합격 기념 질받 22
과외한다고 이제 확인했는데 축하해주신 분들 모두 진심으로 감사드립니다 ㅎㅎ
-
수2만 들을려고 하는데 제 수준은 유형코드는 다맞고 기출은 아직 한번도 안했어요...
-
ㅏ 조심할걸.
-
다음 프사도
-
맞팔 할거면 쪽지주세요
-
이유는 알고리즘이 본계를 부계가 못따라와
-
님들 근데 1
나만 스토리올릴때 퍼져나가는거 싫어서 친한친구들만공개로 함?
-
2025 생감 본교재, 에필로그랑 비교했을 때 구성 많이 바뀌었나요? 특히 본교재가 궁금하네용
-
진짜 아무것도 안올리고 실친 연락용 + 릴스 보기용으로 쓰는듯 뭔가 대놓고 일상을 공유하기 좀 그럼
-
옯스타 맞팔 구 6
-
Q&A 개수 김범준 : 약 250개 이미지 : 약 850개 매출(타수) 이미지 :...
-
나머지는 그저 밀가루덩어리일뿐
-
인스타계정 4개 0
본계 부계 옵스타 이상한거 하는계정
-
한개는 본계 한개는 오르비 공스타는 삭제함
-
사탐 수능선택 2
현역 고3 사문정법 하려는데 주변에서 자꾸 텍스트 양이 너무 많은데다가 마지막...
-
https://sdijbooks.com/detail/book/?bookCd=1572
-
본계 부계 염탐용 비계공스타
-
순서대로 본계 다 받는 부계 잘안받는부계 뻘글쓰는 부계 옯스타
-
본계부계공스타계옯스타계대충이런느낌인가
-
컴플렉스 시발 10
할거도 못하고 거울앞에서 3시간날림
-
아니 잇올 공용공간 24시간 점거하고 있을거면 좌석결제는 왜한거임 관스카 가면 안됨?
-
옯스타
-
작년에도 불수능이라면서 추합 많이 안돈다는 얘기 많았던거 같은데.. 올해는 물수능에...
-
순서대로 본계 다용도(…?) 옯스타 부계
-
본론만 말씀드릴게요. 수능기하가 선택자수가 적은만큼, 기하러분들 한분 한분 모두가...
-
부엉이바위로가자
-
미적 5
해야겟지.. 너무 하기싫어..
-
사실은 5
과외생이 미대간다해서 어떻게 가르칠지 궁금해서 물어봄 올9급인데 어카냐 지인이라 해야되는데
-
1차? 2차?
-
-
할만하긴해 잘했어
-
연대 1차 등록 ~ 14:00. 서울대 1차 발표 14:00. 이여서 반영 안 된...
-
-
내가 좋아하는 여자한테 썼던 호칭이라 쓰기가 좀 그럼 하 심지어 연상취향인데 ㅅㅂ...
-
반박은 언제나 받음
-
예체능은 거의다 실기 100 으로가나? 예체능애들 그림만그리거나 운동만하길래 궁금했음
-
영화나 애니 보면서 인물 성격,심리 분석하는 습관 생김 ㅋㅋㅋㅋ 저렇게 행동할 수...
-
많이 만남???? 교류가 별로 없을거같은데
-
1. 출제진이 겹친다 => 소재가 겹칠 수 있다 2022수능에서 많은 이들의...
-
어쩐지 워치가 헐겁더라니
-
아니라 생각해도 내가맞음 ㅅㄱ
-
샤인미, 설맞이, 이해원 시즌2 제외
-
맞팔인데 지만 삭제했네 좀 알려줘라 나도 끊게
-
소개 글은 내일 올리도록 하겠습니다!! 종이책 링크...
-
우리 집안은 건대이상은 가야 인정해주는 분위기였음. 난 이런 학벌주의가 정말 싫었고...
-
군수생 달렸다 4
야비에도 군수생은 달렸다
-
3월달에 바이퍼 마킹 자켓으로 구매하겠습니다
-
ㄹㅇ 왜 저렇게 됐지... 알고리즘 초기화 기능 언제 내주냐
올해 수능출제자로 들어가서 논리학 가나 지문으로 역사를 써주세요
커뮤니티저자연계ㄷㄷ