똥싸기
게시글 주소: https://orbi.kr/00072484676
불완전성 정리
제1정리. 페아노 공리계를 포함하는 어떠한 공리계도 무모순인 동시에 완전할 수 없다. 즉 자연수 체계를 포함하는 어떤 체계가 무모순이라면, 그 체계에서는 참이면서도 증명할 수 없는 명제가 적어도 하나 이상 존재한다.
제2정리. 페아노 공리계가 포함된 어떠한 공리계가 무모순일 경우, 그 공리계로부터 그 공리계 자신의 무모순성을 도출할 수 없다.
"페아노 공리계를 포함하는 어떠한 공리계"=B
ㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡ
제1정리
B는 무모순인 동시에 완전할수 없다
B가 무모순이라면 B는 불완전하다
무모순=참
B가 참이라면 B는 불완전하다
대우명제
B가 완전하면 B는 거짓이다
ㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡ
제2정리
B가 무모순이면 B로부터 B의 무모순성을 증명할수 없다
B가 참이면 B로부터 B가 참임을 증명할수 없다
대우명제
B로부터 B가 참임을 증명할수 있으면 B는 거짓이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
요즘 인강교재나 사설모고 가격보면 유빈이는 조커보단 베트맨에 가까운거 같음
-
대설주의보는뭐야 14
씨XX
-
절대 못 사겟네 에휴이
-
더프 내기 6
자극 받고싶은데 해주실분
-
매움? 아니면 교육청스러움?
-
수2는 미적까지 뭐 이런거
-
핑계인건가요 그냥 그럴수있는건가요
-
피부만 복구하자..그것만 생각중임
-
국정원 문학, 독서 하고있어서 같이 풀 기출문제집이 필요한데 가격이 장벽이네요.....
-
시험지 어디서 살 수 있나용
-
3덮은 안볼 듯 0
개념기출해야댐
-
고민)국어 모고 연습할 때 통짜로 보는게 너무 부담스러운데 8
저같이 부담감 느끼신분들 있나요? 전 이게 지음 너무 부담스어워서 앞으로 좀 걱정이네요..
-
난이도 어떨까요 25 3덮 보신 분들
-
궁금쓰
-
[속보] 서울 역대 가장 늦은 대설주의보, 내일까지 최고 10cm 0
오늘(18일) 밤 10시를 기준으로 서울 등 경기 서부와 충남 북서부에 대설주의보가...
-
(재수생,만점목표) 개념+기출 +유자분 정도 해놓았고 3월 29일부터 시작하는...
-
국어 높3 수학 높3 영어 1 탐구는 아직 다 끝내지도 x
-
3덮 6
저는
-
재삼수생들 낼 보는 사람들은 다 잘봐라앙 ?????
-
진짜 실화임... 내신 드립도 못침
-
모두 거짓이겠죠~
-
한동안 수험생 커뮤니티가 되겠구만...
-
0.48임 ㅎㅎ
-
내신 5
수시로 1.5정도면 어디라인까지 갈 수 있을까요? 교과 위주로 생각한다면요
-
사설 모의고사가 수능 성적을 결정하지는 않지만 어느정도 양의 상관관계가 있다고...
-
진짜 평가원 퀄리티라던데 다들 더프 볼 생각중이네 ㄷㄷ
-
진짜 책 하나하나 다 미리사는거 존나 허수짓이네 ㅋㅋ 2
중간에 커리 바뀌거나, 방향성이 바뀌면 바로 버려질 수도 있는데 이런거 감안하고...
-
기사님이 의야한 표정으로 물었다 학생 1명인데 왜 2명이야? 나는 당당하게 가슴을...
-
라는 애니 추천좀 진격의 거인, 봇치더락 이런 거 말고
-
나름 효과있는듯. 기출, 특히 미적분에서 적분 풀때 계산 버벅거리는거 많이 줄었다.
-
아 막 곧 논란 되고 이런건가
-
다들 ㅎㅇㅌ
-
배송시켜서 큰아버지 학원가가지고 볼라켔는디,..ㅠ
-
내용증명 ㅅㅂㅋㅋㅋ
-
흠냐링
-
주어와 완전한 술어 즉, 이미 문장요소로 완성된 문장에 특정 내용을 더 추가하고...
-
큐브로 봐주세요..!!
-
약간 애기 빡갤하는 느낌이잖아뇨
-
킬러단원 먼저 하면 꼬이나요?
-
질문 좀 받아주세요 ㅠ
-
호칭 어케 불러주기 바라심
-
검더텅이 젤 좋은가요?? 작년에 해서 개념문제 교육청이나 평가원꺼는 거의 안틀리는데...
-
쪽지주세요 5
-
내가 원하는 과는 만학도 전형으로 안 뽑음. 단 한 곳도 내가 원하는 학과를 만학도...
-
무등비 삼도극 꼭 박혀있고 29 급수가 없어서
-
소신발언) 3
리쌍>다듀
-
아이민으로 ㄱㄱ
-
혹시 여기에 2024 물리,지구과학 재종컨같은거 무료나눔하면 가져갈 사람 있나요? 3
예전에 이과로 틀었다가 다시 문과로 빽해서 쓸일이 없는데 공간을 드럽게 많이...
저녁 뭐드심 쿠리햄
잡채밥이요