이거랑 관련해서 계속되는 의문인데요

1. 무모순성 증명하려면 체계 추론방식중 배중률을 이용하거나 그러는데
하지만 아직 그체계의 정합성이 밝혀지지 않았다는 점이 걸리네요
약간 순환논리같이 생각돼서요
이렇게 자기자신을 이용해서 증명하는게 괜찮나요?


2. 또 위키를 보면

비모순율증명에 자신을 써야 한다는데
혹시 이거 증명을 어디서 볼 수 있는지 알수있을까요?