공리가 거짓인 이유
이 링크에서
(공리가 참이라는 증명이 없음)->(공리가 거짓)
(공리가 참)->(공리가 참이라는 증명이 있음)
이 두가지 경우가 나오는데
둘중하나를 고르라면 위에거 하겠음
왜냐하면
어떤 후건이던 거짓전건만 붙이면 명제가 참이됨
p가 거짓일때 p->a도 참 p->b도 참 인것임
즉
거짓 p가 모든 후건을 함축하고있음
공리는 공리에 의해 만들어진 결론들을 함축하고 있음
따라서 진정한 공리는 거짓p라고 봄
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
언제나 지할말 하는 GOAT
메타 정상화좀 해줘요 쿠쿠리 센세
공리라는 게 애초에 증명할 필요 없이 참이라 가정하고 이것저것 얘기해보자는 거 아님?
다른 일에 미동 안하는 것처럼 보여도 메인글 흥미로운 쿠쿠리