모든 유한 조각이 함께 참일 수 있으면 전체도 함께 참일까?
1차 논리의 콤팩트성 정리는 이론의 모든 유한 부분이 모형을 가지면 전체도 모형을 가진다고 말합니다. 유한 점검과 전체 일관성 사이의 정확한 다리를 살펴봅니다.
그림에서 무엇을 볼까요?
여러 유한 부분집합이 각각 모형을 가진다는 전제에서 전체 이론의 공통 모형 존재로 이어지는 콤팩트성 도식
상수 c1, c2, c3, …가 모두 서로 다르다는 문장들을 생각해 봅시다. 이 문장들의 유한 묶음은 필요한 만큼의 원소만 둔 유한 모형에서 만족시킬 수 있습니다. 콤팩트성은 전체 문장 집합도 모형을 가진다고 보장하며, 그 모형은 모든 상수를 다르게 해석해야 하므로 무한합니다.
여기서 ‘처음 열 개를 만족한 모형’을 그대로 늘리면 자동으로 전체 모형이 되는 것은 아닙니다. 정리는 모든 유한 부분의 만족 가능성에서 전체 모형의 존재를 논리적으로 끌어냅니다. 특정한 유한 표본 하나를 검사한 것과도 다릅니다.
함께 확인할 점
콜팩트성은 표준 1차 논리의 메타정리이며 대부분의 무한 논리나 임의의 규칙 체계로 자동 확장되지 않습니다.
모형의 존재를 보장하지만 원하는 크기·유일성·계산 가능성까지 보장하지는 않습니다.
생각해 볼 질문
‘모든 유한 부분을 만족시킬 수 있다’와 ‘아주 큰 유한 부분 하나를 만족시켰다’는 왜 다른가요?
결론이 맞아도 추론은 틀릴 수 있을까?
가능하다는 말은 어디까지 보장할까?
‘아직 모름’을 거짓으로 처리해도 될까?