수동으로 생각하는 방법
게시글 주소: https://orbi.kr/00075263400
『공통점 찾기』와 『질문과 답변』
예제)
러셀의 역설이 있다
역설이 뭔가?
모순인가?
모순이라는 개념과 공통점을 가지는 개념은 무엇인가?
귀류법
왜?
모순을 통해 증명하기 때문
그럼 러셀의 모순에도 귀류법이 적용되는가?
그런거같다
어떻게?
귀류법은 A를 가정해서 모순이 생기면 not A가 참이라는것이다
러셀의 모순이 구체적으로 무엇인가?
나이브한 집합론을 가정했을때 모순이 생긴다는것
그럼 거기에 귀류법을 적용하면 어떻게되는가?
나이브한 집합론(A)를 가정해서 모순이 생기면 not 나이브한 집합론(not A)이 참이다
러셀의 역설의 결과가 무엇인가?
ZFC공리를 만든것
ZFC는 나이브한 집합론이 아니다
따라서
ZFC는 not 나이브한 집합론이다
위에서 not 나이브한 집합론이 참이라고 했으므로
ZFC공리는 귀류법에 의해 참임이 증명된다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
좋아요 1 답글 달기 신고
-
이해원모의고사 잘봤다ㅎㅎ 0 0
1-1 88점 15 20 21틀 기하 다풀긴했는데 45분걸려서 공통 풀수있는문제들 놓친듯 그래도만족
-
히카 7회 푸신분 0 0
이거 노찍맞 96 이상이면 규격외 휴먼일듯... 하드웨어가 야속하다
-
이제부턴 먹는거도 좀 0 0
관리해야겟죠…? 적당히먹ㄱㅎ 간식 끊어야겟다
-
결심했다 0 0
난 이제부터 LG를 응원하겠어 개병신같은 놈들 버릴거임
-
올해 의치 가면 이 게시글에 댓글 단 사람 중 5명 25 3
추첨해서 싸이버거 세트 드림.. 간절함
-
ㅋㅋㅋㅋ내가 인기얼마나많았는지알아 15 0
다다른사람임
-
팀이 던져서 져버림
-
질문에 대한 최고의 답을 찾는법 (pro tip) 9 0
잘못된 답을 포스팅하고 댓글에서 정정해주기를 기다린다 그래서 맞죠?
-
드가자 1 1
오늘도 파이팅
-
여러분들은 과외를 하려면의 자격이 어느정도라고 보시나요 18 1
아까 글을 올렸는데 제가 하시는 줄 알고 닉부터 바꾸라하셔서... 저는 국민대를...
-
나는 존나 인생낭비하는엄생옵창인데 어케 옵창이 생산적인 일을? How? 이거마치...
-
들어와봐라 올해 성불할 새끼들 알려준다 37 146
-
해모 시즌4 0회 확통 0 0
30번진짜태어나서본 중복조합 중에 젤 어려운급이노..
-
오랜만에 국어 모의고사 풀어봤는데 쫙쫙붙네 수능판 기웃거리는 건 아님..
-
몇십년인가 후에 「그대」와 만나고 있지 않았던 당신을 향한 노래 4 0
너의 이름은 OST로 유명한 Radwimps노래예요 들어조
-
열차표 끊을사람 댓글 ㄱㄱ
-
앞으로 할 일 0 0
2022 ~ 2025 6,9,11 수학 4-5문제 버리고 완벽히 하기 수학 수특...
-
벌점<솔직히 팔당리 존나 모범수인데 감형좀 해줘라 14 0
벌점받은지 4년됫다 4년 그동안 어 내가 뭐 부정선거를 저질럿냐 분탕을 첫냐 어...
-
어쩌면 내년 드릴은 0 0
삼각함수 문제들이 강화될 수도 있을 것 같아여. 드릴이 과년도 킬캠 문항들이 다수긴...
-
본인이 0 0
투표
