대부분 수학이 고차 논리를 쓰는데 건전성 완전성 일관성이 성립하지 않아서임?