Tag Archives: Formal System

형식논리

형식논리에서는 문자열 또는 주어진 문자들의 유한열에 대하여 다룬다. 여기서 문자열은 그 자체로서는 어떠한 의미도 갖지 않는다. '공리', '추론규칙', '정리', '증명' 등의 용어를 사용하지만 이러한 용어는 일반적인 수학적 의미와는 독립적으로 사용된다. '정리'가 '증명'될 수 있다는 사실이 우리가 실제로 다루는 수학의 체계에서 어떠한 역할을 하는지는 뒤에서 밝혀질 것이다. 형식계의 의미 형식계(formal system)는 다음 네 가지로 구성된 체계이다. 알파벳 \(A\) :… Read More »