정확히 뭘 보였단 얘기인지.. 설마 그런 set이 존재하지 않는다는 거야? 아무리 consistency를 자체적으로 증명할 수 없다고 해도, 틀렸을 리는 없는 소리잖아.