옳다고 여겨지기 때문


어떤 수식이 옳은 것과 동일한 방식


공리계로부터 얻어낸 결과물이기 때문


괴델까지는 갈 필요 없이


그러나 기우체계에도  증명 불가능한 명제는 있으니