진지하게 이거 맞는말 아님?
공리는 참이라는 증명이 없다
이말은 귀류법 증명이 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
전제가 참이면 결론이 참이다
결론이 거짓이면 전제가 거짓이다
공리는 전제에 속한다
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면 공리가 거짓
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제) 1+1=2라는 결론을 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
넵. 오늘부터 화이팅
-
아 0
왜 아직 못자지
-
맞팔 구합니다 26
보잘것 없는 현역입니다 시대 단과들으러 주말마다 왔다갔다하는 지방러에용
-
오늘은 기하풀기 좋은 날이네
-
수학에서 표준점수 이벤트 중 1) 기하 선택시 즉시 확정 1등급 가능 2) 추가...
-
등록금 빼고 다시 안내에 맞춰서 넣어야됨요?
-
얼버기 2
노인은 아침잠이 없다
-
ㅅㅂ.. 다이소이어폰살까.. 음질 솔직히 잘 모르는데
-
오야스미 2
네루!
-
레어 투자법 1
포덕 냥덕 십덕 국기덕 덩기덕쿵더러덕 을 의식하며 사면 됩니다
-
기차지나간당 10
부지런행
-
그른생활 4
부교재 생활의 딸잡이
-
그럼 내 200만덕은.....
-
정보글) 4
본인 아직 안잠
-
루미큐브 재밌었습니다 저는 자러 갈게요... 2시간 뒤에 또봐요...
-
다들 왜케못해 어 형이야~
-
ㅈ댓다. 내일알바가는데
-
잘자 5
푼푼
-
여자도 똥 쌈? 8
알려줘
-
어디서함??
-
쏘카 빌려서 놀고 늦게 들어가는 길이었는데 꼭 방심하면 무단횡단 갈기는 븅신들이 꼭...
-
계속홀짝거리게되네
-
밤 어케샘? 2
이제 진짜 밤낮 맞춰야되는디 한 오후 2시 5시 이때가 고비였던걸로 기억하는데
-
베르테르 23번 푸리 12
맞는 푸린진 모르겟는데 계산하다보니 나옴
-
그저그럼
-
100만 원짜리를 자기들은 1000만 원에 사는 것도 아니고 일상생활용품에 관해선...
-
루미큐브가 몬데,,
-
오르비 망했네 4
나도 간다 ㅃ 물론잠을자는건아님ㅇㅇ
-
전 학창시절에 2
맨날 노래부르고 다녔음
-
나랑 오목뜰사람 2
오목의달인 ㄱㄱ
-
물화는 너무 고여있넹 생지도 마찬가지겟지만
-
밸런스게임 9
앵간치나이먹고 나중에 띠동갑만나기 Vs 20대초중에 민짜만나기
-
얘네도잇고 낚시하는 여자애도 공략가능캐인데 걔도 이뿌더라
-
난 몇년생이랑 첫 연애 12
하게될까.... 05 07 연애글 보고 문득 궁금해짐
-
구라임
-
저는 맨날 4시쯤에 자서 2시에 일어남
-
잘자요 4
-
또 먹고싶다 3
-
ㅇㅈ 1
그것은 디맥 인증이었네요~
님이 논리체계라는 개념을 잘못알고있는거임
어떤 논리체계 안에서 공리를 세우고 그 공리를 기반으로 서로 의쌰의쌰 보완해주면서 쌓아나가는 게 논리체계임
공리를 부정하는 거 자체가 해당공리를 공리로 하는 논리체계를 벗어나는 거고 님이 말했듯이 공리를 증명하는 명제는 없으니 공리의 부정이 기존의 논리체계에서 벗어나더라도 그걸로 다른 논리체계를 쌓아나갈 수 있으면 의미가 있는 거임
기하학에서 유클리드와 비유클리드가 그 예시임