유한 집합과 셈의 새로운 접근

초록

본 논문은 자연수나 다른 무한 집합을 도입하지 않고, 화이트헤드·러셀의 Principia Mathematica에서 사용된 방식을 차용해 유한 집합 이론을 전개한다. 이 이론을 바탕으로 수학적 귀납 원리를 만족하지만 전체 페아노 공리를 만족하지 않을 수 있는 구조들의 성질을 탐구한다.

상세 분석

논문은 먼저 “유한 집합”이라는 개념을 순수하게 집합론적 정의에 의해 구축한다. 저자는 무한성을 전제로 하지 않는 전통적 접근을 비판하고, 대신 ‘어떤 집합이 더 이상 원소를 추가할 수 없는 최대의 부분집합을 가진다’는 조건을 통해 유한성을 규정한다. 이때 핵심 도구는 유한 순열과 전단사 함수의 존재성이다. 화이트헤드·러셀의 방법을 그대로 차용하면서도 현대 집합론의 언어로 재구성함으로써, ‘유한 집합’의 존재와 그 성질을 자연수 체계와 독립적으로 증명한다.

다음 단계에서는 이러한 유한 집합 이론을 이용해 귀납 구조(inductive structures)를 정의한다. 저자는 ‘귀납 원리’를 만족하는 구조를 ‘귀납적 집합’이라 명명하고, 이 구조가 반드시 페아노 공리 중 ‘0의 존재’, ‘후계자 함수의 일대일성’ 등을 만족할 필요는 없음을 보인다. 대신, 귀납 원리 자체가 충분히 강력하여, 예를 들어 순환군, 유한 순환 반군, 혹은 유한 그래프와 같은 다양한 대수적·조합적 구조에 적용될 수 있음을 증명한다.

특히 흥미로운 부분은 카운팅 함수(counting function)의 정의이다. 전통적으로 자연수를 이용해 정의되는 카운팅 함수 대신, 저자는 유한 집합의 ‘크기’를 나타내는 함수 (c)를 직접 구성한다. 이 함수는 집합 (A)에 대해 (c(A)=n)이라면, (A)와 동형인 (n)개의 원소를 가진 표준 집합이 존재함을 의미한다. 이를 통해 ‘집합의 크기’를 자연수와 동일시하지 않으면서도, ‘크기 비교’와 ‘덧셈·곱셈’ 연산을 내부적으로 정의한다.

마지막으로, 논문은 이러한 프레임워크가 수학적 귀납법을 필요로 하는 정리들의 증명에 어떻게 활용될 수 있는지를 사례 중심으로 제시한다. 예를 들어, 유한 그래프의 색칠 정리, 유한 군의 라그랑주 정리, 그리고 유한 순열의 순환 구조 등에 대해, 전통적인 페아노 기반 증명 대신 유한 집합 이론만으로도 충분히 증명할 수 있음을 보여준다. 이는 수학적 귀납법이 ‘자연수’를 전제하지 않아도 강력한 증명 도구가 될 수 있음을 시사한다.

전체적으로 이 논문은 ‘유한성’이라는 개념을 자연수와 분리하여 독립적인 집합론적 기반을 제공함으로써, 기존 수학 교육 및 형식 논리에서 간과되던 부분을 보완한다. 또한, 페아노 공리의 일부만을 만족하는 구조들을 체계적으로 분석함으로써, 수학적 귀납법의 범위와 한계를 재조명한다.