신뢰성 이론
신뢰성 정리 (또는 완전성)는 수학 논리의 가장 기본적인 결과입니다. 그들은 형식 논리의 공식 논리와 시스템의 형식에 대한 구체적인 의미 론적 이론을 가지고있다. 신뢰성 정리의 주요 변종은 약한 신뢰성과 강한 신뢰성의 두 가지가 있습니다. "강한"및 "약한"의 중요성은 강력한 신뢰성은 모든 문장 집합을 고려하고 약한 신뢰도와 관련된 빈 문장 집합은 그러한 집합 중 하나라는 것입니다. 대부분의 연역적 시스템, 강한 신뢰성 및 약한 신뢰성은 사실입니다. ...