나 드디어 수학 파괴함
증명할때는 공리들을 이용해 어떤것이 참임을 증명한다
즉
공리가 참이면 어떤것(결론)이 참이다
대우는
어떤것(결론)이 거짓이면 공리가 거짓이다
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
어떤것(결론)이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
즉, 증명된 사실을 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
정작 봉직의들은 밖에서 회사 다닌다고 말하고 다니는데 이놈의 나라에서는 의사라는걸...
-
음 .. 1
-
원래 불법재르비는 확인되면 사형당하던데 빌런 아닌 이상 놔두네
-
원래 저번시즌엔 트로사르가 결정력이 좋았는데 이번시즌에는 그 폼이 안나오는중
-
롤 너무 어렵다 7
시작한지 한 달 반정도 된거 같은데 너무 어렵노
-
재르비 아는 법이 14
팔로잉 목록이 시작부터 옯창들이면 재르비 확률이 매우 높음 뉴비가 타락햇으면...
-
아이는 신이다 14
개이뽀
-
사실 나는 6
친구 없이 거의 못 사는 사람임.많이 필요한건 전혀 아니고 (많지도 않고)소수의...
-
다 자냐 3
잘자 난 짐정리 할게..
-
원래 새벽롤이 좋은데 10
대충 3인큐 정도 돌리면 같은 팀으로 듀오를 만나는데이 듀오가 ㅈㄴ 분노 유발...
-
막 옯스타 친목질하던 정도까지는 아니었지만 수능공부할때 오르비에서 여러 자료들 얻고...
-
흠… 뭘하고 싶었더라 나
-
나는 롤하다가 4
진짜 다양한 일 많앗던 듯
-
자야지 2
다들조은밤
-
먼가 문장이 이상한데 새벽에 이러는거냐
-
첫닉은 11
하이샵
-
민감한 주제인건 알지만...
-
내 첫닉... 3
이 뭐였는지 나도 까먹음
-
22년도 초반 24년도 초반 이때 했었는데
-
뭔가 인강듣는 시간 아깝고 2배속으로들어도 뭔말인지 알아들어서 강의는 다 2배속으로 돌려봤었는데
-
얼마전에 우승컵 하나따긴했는데… 주축선수들 폼이 안돌아옴 테오는 너무 갈려서 폭발력이 죽음
-
커뮤가 이래서 무서워
-
옯만추 한 적 있음
-
옛날 글 찾기 10
태초의 글 https://orbi.kr/00057321491 이전 것도 있는데...
-
오르비 1
처음엔 닉 대애충 짓고 그냥 가끔 들려보면서독존님들 글 보면서 오 수2 이런 것도...
-
브론즈5명vs챌린저5명 해도 1557은 쉽지않을듯…
-
5~래전에 2
함께 듣던 노래가~
-
경찰들 때리고 밀고 방패 탈취하고 법원부수고 ㅋㅋ 고담시티같음
-
진짜 망함 11
4자리 숫자만 보면 1557 생각남..
-
이제 거의다 성인이라는 게 믿을수가없네
-
진격거도 끝나니까 진짜 최신 애니들 볼게 없네
-
근데 그때 프사 아는분은 조금 있더라구요 그러므로 그때 프사이자 제 첫 프사 댓글로...
-
무만 겁나게캐더니 왠일이냐 예전처럼 리그좀먹어보자
-
뭐지 내가 못해진건가
-
살면서 재밋던거 시간순 30
한자축구축구그림그리기롤축구농구 칼리스데닉스헬스수학수학수학수학지금은 없음
-
일단 지르는 거야
-
이쪽이든 저쪽이든 사고 조심하시고 혹시모를 구급낭같은거 챙기시면 더좋고요 안전 명심하세요
-
너무해! 2
싫어 나는 당근할 거야 히힛
-
진짜 궁금해서
-
30분 전에ㅔ는 꼭 자기
-
ㄹㅇ 개 시끄러움 ㅋㅋㅋ
-
와 발로는 보이스가 잇다고 짱이다하고 가서 그냥 겜 돌리때마다 매일 보이스 키고...
-
잼민이 목소리로 가오 잡거나 깝치는데 개현타옴
-
욕 한 번을 1년에 쓸까말까한 ㄹㅇ 클린 유저
-
채팅을 치면 그냥 게임을 못 이겨그래서 걍 전번 주는 것임 채팅치지말고 전화로...
'어떤 것이 참이다'의 부정은 '모든 것이 거짓이다'이니 대우도 '모든것이 거짓이면(?) 공리가 거짓이다'임
예이~!