수학적으로 모순이 없게 만들었다고