“누구에게나 다음 사람이 있다”는 조건을 작은 모형에서도 지킬 수 있을까요?

일차 논리 문장은 어떤 개체들이 있고 관계가 어떻게 놓이는지를 모형에서 해석합니다. 같은 문장이 매우 큰 영역에서 참일 때, 더 작은 영역에서도 참인지를 알면 그 문장의 구조를 훨씬 구체적으로 조사할 수 있습니다.

스콜렘은 뢰벤하임의 결과를 더 간단히 증명하고 일반화하겠다고 시작합니다. 핵심 질문은 문장이 어디선가 만족된다면 유한하거나 가산인 영역에서도 만족되는가입니다.

문장의 양화사와 관계 기호에 한 영역과 해석을 주었을 때 문장이 참이 되면 그 모형이 문장을 만족한다고 말합니다. 증명가능성과는 구분되는 의미론적 개념입니다.

논문 제목은 만족가능성과 증명가능성을 함께 다루지만, 앞부분의 가산성 논증은 만족하는 영역을 구성하는 데 초점을 둡니다.

스콜렘은 관계 계수와 논리 연산, 개체에 대한 전칭·존재 양화로 만든 식을 다룹니다. 오늘날의 일차 논리식에 가깝지만, 표기와 용어는 슈뢰더의 관계 논리 전통에 놓여 있습니다.

이 글은 원문의 기호를 그대로 현대 기호와 동일시하지 않고, 논증에 필요한 전칭·존재·관계 구조만 대응시킵니다.

스콜렘의 정규형은 양화 기호를 앞부분에 모으고 뒤에는 양화사 없는 관계식이 남도록 합니다. 문장을 이 꼴로 바꾸면 존재 양화사의 증인을 앞선 전칭 변수의 선택으로 추적할 수 있습니다.

정리 1은 임의의 대상 문장을 만족가능성이 같은 정규형 문장으로 바꾸는 구성을 제시합니다. 아래 활동은 양화사 의존 관계를 읽는 편집부 모형입니다.

∀x∃y U(x,y)가 만족되면 각 x마다 U를 참으로 만드는 y를 하나씩 고를 수 있습니다. 스콜렘은 이 선택을 y(x)처럼 적어 x에서 증인으로 가는 함수로 다룹니다.

여러 전칭 변수와 여러 존재 변수가 있으면 각각의 증인 함수는 앞서 놓인 전칭 변수들의 튜플에 의존합니다. 오늘날 “스콜렘 함수”라고 부르는 관념의 핵심이 여기 있습니다.

각 입력마다 적어도 하나의 증인이 있다는 사실에서, 모든 입력에 대해 증인을 하나씩 동시에 고르는 대목에 선택 원리가 들어갑니다. 원문은 이 사용을 명시합니다.

따라서 “작은 모형이 자동으로 떨어진다”는 요약은 중간 단계를 숨깁니다. 증인 선택, 선택으로 닫힌 집합, 그 집합 위에서 문장이 유지된다는 세 단계가 필요합니다.

0 이상의 정수를 대상으로 “모든 x에는 x보다 큰 y가 있다”라는 문장을 생각해 봅시다. x=0을 넣으면 y=1을 증인으로 고를 수 있습니다. 1도 모형 안의 대상이 되었으므로 그다음 증인 2가 필요합니다. 같은 일을 반복하면 0,1,2,3,…이 들어갑니다.

{0,1,2}에서 멈추면 x=2보다 큰 증인이 그 안에 없어 문장이 거짓이 됩니다. 모든 유한 단계를 합친 집합에는 각 수의 다음 수가 있으므로 조건이 유지됩니다. 이 예에서 증인 함수는 f(x)=x+1입니다.

일반적인 증명에서는 문장에 필요한 증인 함수들을 찾아 그 함수값을 계속 포함시킵니다. 유한하거나 셀 수 있는 순서로 대상을 추가해 얻는 영역을 가산이라고 합니다. 이 그림은 이미 가산인 정수로 구성 방법을 설명한 예이며, 정리 전체의 증명을 대신하지는 않습니다.

작은 집합이 원래 문장을 만족하려면 존재 양화사가 요구하는 증인을 안에 포함해야 합니다. 임의로 잘라낸 집합은 필요한 증인을 밖에 남겨 문장을 거짓으로 만들 수 있습니다.

스콜렘의 구성은 선택 함수 아래 닫힌 부분영역을 만듭니다. 어떤 입력을 안에 넣었다면 그 입력에 대응하는 증인도 안에 있도록 보장합니다.

논문의 대상인 일차 문장이 어떤 모형에서 참이라면, 그 문장을 참으로 만드는 유한 또는 가산 모형도 얻을 수 있다는 결론입니다. 이미 만족하는 모형의 존재를 전제로 했으므로, 이 조건 아래에서 다시 모순 가능성을 넣을 필요가 없습니다.

여기서 크기가 작아지는 것은 같은 문장을 만족시키는 모형의 영역입니다. 원래 큰 모형의 원소가 모두 작은 모형 안에 들어가야 한다는 뜻은 아닙니다. 증인 선택과 닫힘 구성이 해당 문장의 조건을 유지하게 합니다.

스콜렘은 가산하게 많은 정규형 문장의 논리곱에도 구성을 넓힙니다. 문장과 필요한 증인들을 가산한 순서로 배치해 차례로 닫으면 전체 요구를 만족하는 가산 영역을 얻습니다.

정리 3은 가산한 문장들의 곱이 만족 가능하다면 가산 영역에서도 만족 가능하다고 말합니다. 뒤이어 무한 논리합이 섞인 경우도 단계적으로 다룹니다.

집합론이 말하는 비가산 집합 자체를 없애는 정리가 아닙니다. 일차 논리 문장이나 가산한 이론이 큰 모형을 가질 때 가산 모형도 가질 수 있다는 의미입니다.

모형 바깥에서 보는 가산성과 모형 안에서 어떤 집합이 비가산이라고 만족하는 성질은 층위가 다를 수 있습니다. 이 차이가 훗날 “스콜렘의 역설” 논의로 이어졌지만, 1920년 논문의 앞부분은 작은 모형 구성 자체를 증명합니다.

논문이 필요한 것은 주어진 영역에서 만족가능성이 함께 움직이는 변환입니다. 새 관계 기호를 도입한 문장은 원문과 글자 그대로 같지 않지만, 한쪽을 만족시키는 해석을 다른 쪽으로 확장하거나 제한할 수 있습니다.

현대의 스콜렘화도 보통 논리적 동치보다 만족가능성 보존을 목표로 설명합니다. 새 함수 기호를 어떻게 해석하는지까지 적어야 정확합니다.

언어에 너무 강한 양화나 비가산한 요구를 넣으면 같은 증명이 그대로 적용되지 않습니다. 논문의 대상 언어와 가산한 구성 단계가 결론의 범위를 정합니다.

아래 활동은 어떤 주장에서 원문의 정리를 쓸 수 있는지 살피는 모형입니다. 실제 적용에는 문법과 의미론을 따로 증명해야 합니다.

문장의 만족가능성과 모형의 크기를 연결해 구문을 작은 의미 구조로 옮기는 방법을 보여 주었습니다. 증인 함수를 드러내고 닫힘을 반복하는 구성은 뒤의 모형론과 자동추론에서도 계속 등장합니다.

동시에 일차 이론이 의도한 큰 구조만 붙잡지 못할 수 있다는 한계도 또렷해졌습니다. 표현력과 모형 크기의 관계를 함께 읽게 만든 점이 오래 남았습니다.