수동으로 생각하는 방법
게시글 주소: https://orbi.kr/00075263400
『공통점 찾기』와 『질문과 답변』
예제)
러셀의 역설이 있다
역설이 뭔가?
모순인가?
모순이라는 개념과 공통점을 가지는 개념은 무엇인가?
귀류법
왜?
모순을 통해 증명하기 때문
그럼 러셀의 모순에도 귀류법이 적용되는가?
그런거같다
어떻게?
귀류법은 A를 가정해서 모순이 생기면 not A가 참이라는것이다
러셀의 모순이 구체적으로 무엇인가?
나이브한 집합론을 가정했을때 모순이 생긴다는것
그럼 거기에 귀류법을 적용하면 어떻게되는가?
나이브한 집합론(A)를 가정해서 모순이 생기면 not 나이브한 집합론(not A)이 참이다
러셀의 역설의 결과가 무엇인가?
ZFC공리를 만든것
ZFC는 나이브한 집합론이 아니다
따라서
ZFC는 not 나이브한 집합론이다
위에서 not 나이브한 집합론이 참이라고 했으므로
ZFC공리는 귀류법에 의해 참임이 증명된다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
좋아요 1 답글 달기 신고 -
-
나 근데 사문 뭔가 이상함 6 2
내가 거의 인강컨만 풀고 옛기출같은걸 모아서 풀거나 한적도 없는데 문화의 전체성보다...
-
으하하 회장 끝 2 0
-
닉값못하게 된 물2러입니다...제가 앵간한 괴랄한 사설 포돌회아니면 시간만 좀 더...
-
국어공부 ㅈㄴ하면 성적이 오히려 더 떨어지는 경향이 있는거 같음.. 오히려 국어공부...
-
19패스 오늘까진데 6 0
19만원인게 마지막이라는거임 아니면 배송비 무료를 해주는게 오늘까지라는거임?
-
다시 기출로 회귀해야게써
-
카구야 왤캐 재미써.. 5 2
이틀동안 2기까지 다봄뇨
-
풍채유지비 6 1
가 너무많이 나옴
-
벌써 새벽인데 1 0
아직도 혼자네요
-
문학 문제 풀 때 감상이 의외로 독이 되는 경우) 6 1
심t가 말하는 공감은 아닙니다 나 8덮인가 9덮 풀 때 시나리오 감상했다가 너무...
-
영어는어케해야 3이하가나오냐 4 1
ㄷㄷ
-
완벼키 이해했어 2 0
웅웅
-
-
전국서바는 어지간히 쉽게 나온 거 아닌이상 1페-3페에서 시간 ㅈㄴ쓰고 비역학에서...
-
적중예감 F-2 후기 4 1
1회는 무슨 이유인지는 몰겠는데 블라먹었어요;; 좋다고 했는데..ㅜ 2회는 29분...
-
이츠뎃트루 1 2
예스 오키도키요~
-
미적 100점이 적백이면 1 2
확통 92점은 통구이(barbecue)임?
-
계산이 이게 뭐야 2 0
답은 나오는데 음..
-
"밑줄 긋지 마라" << 필요한 사람이 있긴 함 3 1
무지성 밑줄 긋는 애들이 있걸랑 걔네는 일단 국어 종 땡 치면 지네 혼자 엄청 바쁨...
-
미안해요 1 1
기대에 미치지 못해서
