여기 서 판명 이 라는 용어 는 진리 가 아닌 그 어떤 것 에 도 대입 이 불 가능 한 용어 이 므로 단순히 증명 된 명제 를 판명 된 진리 라고 부를 수 는 없 다 . 증명 된 명제 는 전제 에서 도출 된 결론 이 므로 합리 적 이 라고 부르 면 된다 . 따라서 일반 적 진리 를 포함 하 고 있 는 명제 의 성격 은 간접 적 이 고 파생 적 일 수 밖에 없 다 . 그러나 이 명제 역시 일정 부분 진리 가 포함 되 어 있 으므로 일종 의 사실 이 라고 정의 내리 는 것 이 가능 하 다 .