건전성: 두 판 사이의 차이

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