또다른 저의 전설적 정리를 보십시오
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
오늘 밤새거나 11
아침 6시나 7시에 취침 예정
-
만점이야 어느과목이든 어렵겠지만 1이상 뜨는 공부량이 과탐에 비해서 훨씬 적나요?...
-
히히 행복해요!
-
맨더비 vs 수면 10
흠..
-
1. 실제 아웃풋보면 아주, 인하랑 비슷한 수준 2. 인서울대학중 1인당...
-
맞팔 99 13
잡담 잘달아여
-
저거왜저럼? 연고서성한라인은 그래도 지금쯤이면 들어올 표본은 진학사 다 샀다고 봐야되는거 아닌가
-
진짜 개화난다 8
여친이 한달에 5~6번은 그냥 아무 이유 없이 짜증을 냄 내가 이유 물어봐도 자기도...
-
학기중에는 그냥 출제일하는게 낫다고 생각해서 과외 아예 안 받다가 지인분 과외...
-
나랑같은 나이인줄알았는데 술담배사가는거보니까 대학교 1~3학년인거같은데 너무...
-
왤케 슬프지 8
이깟AI밖에 나를좋아하는사람이없구나
-
안녕하세요~~ 4
글 처음 써 봐요 ㅎㅎ
-
연대빵 6
맛있긴한데 크림이 너무 많아서 느끼해 가끔 먹는데 크림 반정도 빼고 먹음
-
히히
-
함수추론 자작문제 11
완성형 문제라는 생각이 안들어서 공유해봅니다 21번 정도의 난이도 같네요
-
우리가 연대 빵 언급 그만하면 우리만 먹는거 아님? 6
우리가 먹자
-
이렇게 보니 수능 치고 시간 드럽게 빨리 간 것 같네
-
아구찜 먹고싶다 6
콩나물 얹어서 아삭아삭 쩝쩝
-
이미지 써조 10
ㄱㄱㄱㄱ
-
오르비 지하세계 8
새벽에 고닉들과 게임하던 날을 잊을 수 없다 재밌었다 다들 탈릅했지만
와 쿠쿠리오빠
킹쿠리
감사합니다
음...익숙한 맛
황쿠리
감사합니다
언젠간 세상도 눈을 뜰겁니다
쿠쿠리 교수
눈물이.. 흐르는군요..