아무것도 모르는 늒비에오..


불완전성 정리때매 스스로의 무모순성은 그 공리계에서 말할 수 없다고 알고있는데요

현대 수학에서zfc많이 쓰잖아요
이거는 무모순성 말할 수 없는데
그냥 모순이 없겠지 하고 쓰는 건가요?
아니면 무슨 방법이 있나요?

그럼 만약에 zf(c) 모순 나올 수도 있는 건가요?


어그로 아니고 진짜 몰라요ㅠㅠ
인터넷 찾아봐도 잘 모르겠어서 질문드립니다..
감사합니다