명제를 무한히 이어 붙여도 익숙한 논리 법칙이 성립할까?
무한 논리는 무한한 연언·선언으로 표현력을 넓히지만 콤팩트성·완전성 같은 1차 논리의 성질을 다시 따져야 합니다.
그림에서 무엇을 볼까요?
유한 조건 묶음들이 각각 만족되는 경로와 무한 연언 전체를 확인하는 경로가 콤팩트성 검토점에서 갈라진다.
LTCT가 만든 예시에서 C1, C2, C3 …은 각각 “대상이 최소 1개, 2개, 3개 … 있다”는 조건입니다. 유한 묶음은 언제나 충분히 큰 유한 모형으로 만족시킬 수 있습니다.
이 조건들을 무한 연언 하나로 묶으면 모든 유한 크기를 넘어서는 모형을 요구합니다. 그림은 유한 묶음과 무한 결합이 검토점에서 갈라지는 구조를 보이며, 엄밀한 L(κ,λ) 정의는 원문을 참고해야 합니다.
함께 확인할 점
교육용 예시는 무한 논리의 전체 정리나 큰 기수와의 관계를 증명하지 않습니다.
실제 계산 가능성·증명 길이와 의미론적 표현 가능성을 같은 것으로 읽어서는 안 됩니다.
생각해 볼 질문
모든 유한 부분이 만족 가능하면 전체 규칙도 늘 만족 가능할까요?
사물뿐 아니라 ‘성질’에도 ‘모든’을 적용할 수 있을까?
결론이 맞아도 추론은 틀릴 수 있을까?
가능하다는 말은 어디까지 보장할까?