진지하게 이거 맞는말 아님?
게시글 주소: https://orbi.kr/00071387807
공리는 참이라는 증명이 없다
이말은 귀류법 증명이 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
전제가 참이면 결론이 참이다
결론이 거짓이면 전제가 거짓이다
공리는 전제에 속한다
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면 공리가 거짓
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제) 1+1=2라는 결론을 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
역발상을 해야됨 4 3
어차피 현역으로 갔어도 적응 못했을거라고 ㅋㅋ
-
신남성 연대 1 0
연대 조발해라 씹새들아...
-
콩쥐팥쥐 <= 객관적으로 나보다 더한 개 고트 알피메일임 2 0
나는 기만도 아님 진짜 저사람에 비하면 개존잘 비율좋은 훈남....
-
ㅇㅈ 2 0
왜 클릭
-
방금 희망고문 당했어요 2 0
일반전 되길래 그리고 첫 세트 점령 성공해서 신났는데 다음 세트 대기 시작하자마자...
-
민트눈 재판매 기원 5 0
싸게 싸게 가격 한 30만덕으로 판매해주세요
-
근데 보현시치는 왜 기하함 5 0
나형 범위에 기하 없지 않음??
-
일단나부터
-
팡일이 독기본서 0 0
1강이랑 2강들었는데 개좋은듯 이상한 방법론말고 독해력 키우면서 논리적으로...
-
마사지방 가본사람 4 0
술먹고 시간 애매한데 여기 뭐하는데임??
-
대성 수학 N제 1 0
4규 vs n티켓 참고로 이미지 커리타고있음
-
청바지 산거 왔는데 0 0
맘에안듦 반품바로가
-
지금 내가 공부중인거 ㅇㅈ 6 3
하면 잡혀가니 미코토라도 보고 가!
-
독해의 본질 [국어] 1 1
안녕하세요. 소테리아의 길 입니다. 여유로운 주말입니다. 주말에는 문장 단위별 독해...
-
위1로 해드립니다 2 0
Oh 옯쀳삐 넌 위2로가 필요해, My son. ☆
-
비교하지 않아야 행복한데 4 0
뭐 하나라도 잘난게 있어야 비교를 안하지
님이 논리체계라는 개념을 잘못알고있는거임
어떤 논리체계 안에서 공리를 세우고 그 공리를 기반으로 서로 의쌰의쌰 보완해주면서 쌓아나가는 게 논리체계임
공리를 부정하는 거 자체가 해당공리를 공리로 하는 논리체계를 벗어나는 거고 님이 말했듯이 공리를 증명하는 명제는 없으니 공리의 부정이 기존의 논리체계에서 벗어나더라도 그걸로 다른 논리체계를 쌓아나갈 수 있으면 의미가 있는 거임
기하학에서 유클리드와 비유클리드가 그 예시임