Tag Archives: Axiom Schema

일계논리와 Peano 산술

일계논리 문장의 집합 \(\varSigma\)가 완전하다(complete)는 것은 임의의 문장 \(\alpha\)에 대하여 \(\alpha\) 또는 \((\lnot \alpha )\) 중 하나가 \(\varSigma\)의 논리적 귀결인 것이다. 완전성 정리에서는 형식계의 완전성을 말하기 때문에 완전성이라는 용어를 조금 다르게 사용한다. 그러나 두 상황에서 완전성이라는 개념은 서로 깊은 연관이 있다. 왜냐하면 \(\varSigma\)가 완전할 때 임의의 문장 \(\alpha\)에 대하여 \(\alpha\) 또는 \((\lnot \alpha )\)가 \(\varSigma\)로부터 증명될 수 있기… Read More »