consistent한 공리집합 A를 만족하는 모델이 p를 만족하는것과 p를 만족하지 않는 것이 둘 다 있으면

모든 모델은 p를 만족하거나 말거나 둘줄 하나니까 p를 만족하는 모델이 있으면 그건 ~p를 만족 안하니까 A not ㅑ ~p, 반대도 마찬가지.

따라서


A notㅑ p

A notㅑ ~p


를 얻는데, 만일 Aㅏ p나A ㅏ ~p 중 하나가 성립하면 건전성에 의해

Aㅑ p나 A ㅑ~p 를 얻으니까 앞에서 얻은 것에 모순


즉 Aㅏ p,A ㅏ ~p는 둘 다 틀리다

따라서 p는 A에서 증명도 반증도 되지 않는다


맞는 거 아닌가여??

내가 논리고자라서 잘 모르지만 상식적으로 이런거같은데 리플은 이해할 수 없는게 달려서

이 논리에서 뭐가 잘못됬나여?