기본적으로 증명도 반박도 불가능한거 아님?