짜잔 그런데 초한귀납법을 통하지 않고서는 유한절차로 체계의 무모순성을 증명할 수 없다네요


개같이 구성주의