건전성: 두 판 사이의 차이

'''건전성 정리'''(soundness theorem, 健全性定理)는 [[일차 논리학]]에서 연역 계산이 [[건전성]]을 가짐을가진다는 의미한다내용의 정리이다. 여기서 건전하다는 것은, 모든 참인 것으로 [[증명]]가능한 명제, 즉 [[정리]]가 의미론상으로도 참임을 의미한다. 이 정리는 [[괴델의 완전성 정리]]의 역을 제공한다.