진지하게 이거 맞는말 아님?
게시글 주소: https://orbi.kr/00071387807
공리는 참이라는 증명이 없다
이말은 귀류법 증명이 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
전제가 참이면 결론이 참이다
결론이 거짓이면 전제가 거짓이다
공리는 전제에 속한다
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면 공리가 거짓
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제) 1+1=2라는 결론을 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
카우룽 카우룽? 0
이거 뭐더라 갑자기 생각남
-
26학년도 수능을 다시 준비하면서 화1-> 지1으로 과목을 변경하였는데 내신 때도...
-
왜클릭.
-
안시호 게이를 꺾을만한 문제... 하도 옛날에 내서 내가 내꺼 풀어보는중임
-
솔직히 9
23학번은 틀 아닌듯
-
실모 후기 때문이었어서 팔로잉도 실모 벅벅 옯창들 아니었을까 싶은데
-
한림의 예상컷 0
ㅈㄱㄴ 한림의 컷 어느정도 선임?
-
현역 메타 할까?
-
전 이자 매일매일 주는게 신기해서 토스뱅크에 넣어뒀는데 전보다 이율이 많이 줄었더라구요...
-
내가 다 해줄게 4
따라만 와
-
-
내 첫 팔로잉 1
ㅈㄴㅂㅇㅇ
-
이때는 언매를 다시 보는게 좋을까요? 언매에서 가끔씩 망해서요
-
누군지도 모르는 분들이 대부분인데 뭐지 ㅋㅋㅋㅋㅋ 일단 칼럼러를 팔로우하진 않음
-
시대 ta 1
수떨물합 96 100 100인데 수학 떨어짐ㅠㅠ 역시 시대의 벽은 높군하,,, 고능아 대잔치..
-
그저 대...
-
원화채굴하고싶은데 28
편의점알바 할까
님이 논리체계라는 개념을 잘못알고있는거임
어떤 논리체계 안에서 공리를 세우고 그 공리를 기반으로 서로 의쌰의쌰 보완해주면서 쌓아나가는 게 논리체계임
공리를 부정하는 거 자체가 해당공리를 공리로 하는 논리체계를 벗어나는 거고 님이 말했듯이 공리를 증명하는 명제는 없으니 공리의 부정이 기존의 논리체계에서 벗어나더라도 그걸로 다른 논리체계를 쌓아나갈 수 있으면 의미가 있는 거임
기하학에서 유클리드와 비유클리드가 그 예시임