어떤 명제를 증명하면 그것을 이해했다고 보는 것은 타당한가요?