쿠쿠리 [1310649] · MS 2024 · 쪽지

2025-10-28 08:36:34
조회수 43

수동으로 생각하는 방법

게시글 주소: https://orbi.kr/00075263400

『공통점 찾기』와 『질문과 답변』


예제)

러셀의 역설이 있다

역설이 뭔가?

모순인가?

모순이라는 개념과 공통점을 가지는 개념은 무엇인가?

귀류법

왜?

모순을 통해 증명하기 때문

그럼 러셀의 모순에도 귀류법이 적용되는가?

그런거같다

어떻게?

귀류법은 A를 가정해서 모순이 생기면 not A가 참이라는것이다

러셀의 모순이 구체적으로 무엇인가?

나이브한 집합론을 가정했을때 모순이 생긴다는것

그럼 거기에 귀류법을 적용하면 어떻게되는가?

나이브한 집합론(A)를 가정해서 모순이 생기면 not 나이브한 집합론(not A)이 참이다

러셀의 역설의 결과가 무엇인가?

ZFC공리를 만든것

ZFC는  나이브한 집합론이 아니다

따라서

ZFC는 not 나이브한 집합론이다

위에서 not 나이브한 집합론이 참이라고 했으므로

ZFC공리는 귀류법에 의해 참임이 증명된다



0 XDK (+0)

  1. 유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.


  • 첫번째 댓글의 주인공이 되어보세요.