똥싸기
게시글 주소: 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를 선물하세요.
-
이원준이지 ㅋ
-
애들 담임이 나 고2때 정시공부로 다이다이깐 선생임 ㄷㄷ 사립여고라 그런지 아직도...
-
잘 지내던데
-
시간이 줄줄 샌다
-
창문 밖 보기 전까지 13시간 자버려서 수업 결석한줄 알고 ㅈㄴ 당황했네
-
더프 봐봤는데 0
아직 많이 부족하다는걸 깨달앗습니다….
-
션티 0
너!!!!!!!!!!!!무좋아 조교분들도다너뮤죠앙
-
지금 임정환 리밋만 둘 다 듣고 기출분석은 하나도 안했는데 임정환 임팩트 들으면서...
-
고3 진로 시간인데 애들 죄다 대충써서 내고 그냥 자습하려 함 ㅋㅋ 생기부 좋아도...
-
미적이 표점이 높다는건 그나마 공/선 똑같이 틀렸을때 얘기잖음 그것마저 작년은 거의...
-
수학 선택과목 0
안녕하세요 현재 고3 현역 인데 3덮 미적 73 공통 11,20,21 선택...
-
약을 먹었나 0
또 까먹음
-
걍 기하해야겠다 0
최저 터져서 ㅈ될 바엔 걍 기하하는게 맞는 것 같다 건실하게 개념부터 떼워야지 그래...
-
실전개념만 3개월 걸렷음 아직 기출 남앗다 ㅜ
-
미적 ㅈㄴ 빡세니까 기하로 돌리자->근데 논술에서는 미적 비중이 많으니까 미적에...
-
지방의대는 입결 내려감?
-
내가 아이스크림을 사줄 순 없다
-
어그로 끌어서 ㅈㅅ 수리논술이랑 정시만 준비중인 이과 학생인데 학교 등교 최저일수만...
-
14번 삼각함수 비율관계 1/4주기를 3등분해야하는걸 반주기를 삼등분함 ㅋㅋ 21번...
-
예전에 썼던 글들도 좀 밀어야하나 싶고 세탁하고 국어 칼럼이나 올려볼까 흠
저녁 뭐드심 쿠리햄
잡채밥이요