수리논리학적으로 증명할 수 있음????