쿠쿠리 [1310649] · MS 2024 · 쪽지

2025-01-18 22:39:14
조회수 294

나 드디어 수학 파괴함

게시글 주소: https://tcgjztg.orbi.kr/00071389128


증명할때는 공리들을 이용해 어떤것이 참임을 증명한다



공리가 참이면 어떤것(결론)이 참이다


대우는


어떤것(결론)이 거짓이면 공리가 거짓이다


공리는 참이라는 증명이 없다


따라서 귀류법 증명도 없다


따라서 공리를 부정하면 무모순


따라서 공리가 거짓이면 무모순


어떤것(결론)이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순


즉, 증명된 사실을 부정하면 무모순



0 XDK (+0)

  1. 유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.