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

2024-10-10 07:19:43
조회수 2,334

zf공리는 러셀의 모순으로부터 귀류법적으로 증명가능

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

나이브한 집합론을 가정하면->러셀의 모순발생-> Not(나이브집합론)이 참


zf공리는 Not(나이브집합론)에 포함되므로


Not(나이브집합론)이 참이면 zf공리도 참


따라서 zf공리는 공리가 아니라 정리다

0 XDK (+0)

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