https://gall.dcinside.com/mathematics/412105

[모든것을 부정해도 무모순] 증명 ver.21. 거짓을 부정할때거짓을 부정하면 참이다모순이면 거짓대우명제는참이면 무모순따라서거짓을 부정하면 무모순이다2. 참을 부정하는 경우2.1 공리를 부정하는 경우공리는 참이라는 증명이 없다즉, 귀류법 증명도 없다즉, 공리를gall.dcinside.com

모든것을 부정해도 무모순임을 증명함


즉,


A를 부정해서 A가 거짓이되어도 무모순, 이때 A=거짓


not A를 부정해서 not A가 거짓이되어도 무모순, 이때 notA=거짓 이므로 A=참


즉,

A가 거짓이든 참이든 무모순이라는거임


내가 하고싶은 말은


A다! 라는 주장을 부정해도 무모순이고 이때(A가 부정당해 A가 거짓이됨)


not A다! 라는 주장을 부정해도 무모순이고 이때 (not A가 부정당해 not A가 거짓이되고 따라서 A는 참이됨)



즉,

A가 참이든 거짓이든 무모순이라는거임