진지하게 이거 맞는말 아님?
공리는 참이라는 증명이 없다
이말은 귀류법 증명이 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
전제가 참이면 결론이 참이다
결론이 거짓이면 전제가 거짓이다
공리는 전제에 속한다
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면 공리가 거짓
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제) 1+1=2라는 결론을 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
흠..
-
https://orbi.kr/00070184273/ 재밌으니까 한번만 읽어줘요..
-
ㅇㅈ 14
시즌6974번째 재탕.
-
아이언~실버
-
어디서안떨어지나
-
오르비자주못옴 여기서농사와 친목 연애는 모두 스타듀밸리세계에서 얘기임
-
대신 500덕 주시면 드림
-
그걸로 스벅 갔어요 누군지는 비밀
-
ㄹㅇ임?
-
?? 올때마다맨날계시는분들이
-
이륙했으니까 22
선착순 열명 천덕씩
-
천덕씩 백명
-
계신듯... 이제 언팔당하나요 ㅠ
-
여르비 ㅇㅈ 6
ㄹㅇ
-
방금 산후조리원에서 나왔어요
-
맛is중요 2
-
여친 생기면 로망 13
1. 에버랜드 가서 신나게 놀기 2. 알몸에 앞치마만 입은 요리 중인 여친에게...
-
난 11년생 여르비임 12
그래보임
-
학과 결정 6
인지공이랑 자전인데 인공지능공 -> 원하는 과는 아님 자전 -> 자유전공융합학부라서...
-
저몇살아게요 2
맞추면칭찬해줌
-
극한의 고앵이파였는데 폼피츠나 포메 한정 강아지가 좀 다 좋을지도..? 아직 책임질...
-
04년생 남르비입니다. 15
이번엔 꼭 대학가고싶네요...
-
친구들이 많아져서 좋네요
-
메타가 이상해 1
갑작스런 생각이다
-
왜 지인 얘기를 허락도 없이 올리는 지를 모르겠음..
-
건대 수의대 정시로 가려면 어느정도 해야함?
-
루미큐브랑 암산 둘 다 ㅈㄴ 못함 오래된 노트북 자판 물로 벅벅 씻어서 고장내버림...
-
앞으로 티내지 말도록
-
니XX 창 2
섭
-
반응안해도 해도 지랄함 그냥 네 긁혔습니다 해주면 재미없어짐
-
계속 나아가라 왜 지옥에서 멈추려 하는가
-
항상 지니까
-
다른 침대 사람들 다 불끄고 자고 있길래 왜 여기 와서 자나 궁금했는데 오징어 게임...
-
빠릿빠릿한데 보기에도 괜찮음
-
약간 부끄러워졌다. 11
저번에 갈때 막 영원히 오르비에 안올것처럼 작별인사햇는데.,,, 생각해보니까...
-
제발,,
-
근데 배고픔
-
밥을 먹을까 3
배고픈데
님이 논리체계라는 개념을 잘못알고있는거임
어떤 논리체계 안에서 공리를 세우고 그 공리를 기반으로 서로 의쌰의쌰 보완해주면서 쌓아나가는 게 논리체계임
공리를 부정하는 거 자체가 해당공리를 공리로 하는 논리체계를 벗어나는 거고 님이 말했듯이 공리를 증명하는 명제는 없으니 공리의 부정이 기존의 논리체계에서 벗어나더라도 그걸로 다른 논리체계를 쌓아나갈 수 있으면 의미가 있는 거임
기하학에서 유클리드와 비유클리드가 그 예시임