산술의 기초를 기호만으로
정확히 적을 수 있을까요?

서문은 일상 언어가 길고 모호해 추론의 작은 차이를 놓치기 쉽다고 말합니다. 피아노는 산술의 관념과 문장을 제한된 기호로 표시하면 여러 진술의 관계를 한눈에 비교하고, 논증이 어떤 전제에 기대는지 더 정확히 추적할 수 있다고 보았습니다.

목표는 계산을 빨리 하는 약기법에 그치지 않습니다. 정의·공리·정리를 서로 다른 지위로 표시하고, 앞의 줄에서 뒤의 줄이 어떻게 따라오는지 보이려는 형식화입니다.

책은 먼저 논리 기호의 사용법을 설명한 뒤, 산술의 기초 관념과 명제를 같은 형식으로 전개합니다. 명제와 클래스, 부정과 결합, 함의, 등식 같은 논리적 장치를 앞부분에서 마련하고, 뒤에서 자연수와 후속자·덧셈·곱셈에 적용합니다.

피아노는 불 논리, 슈뢰더, 그라스만, 데데킨트의 작업을 언급합니다. 이 책은 빈 곳에서 갑자기 생긴 체계가 아니라 당시 대수적 논리와 산술 기초 연구를 짧고 일관된 표기로 다시 조직한 시도입니다.

기호의 모양을 오늘날 기호와 억지로 일치시키기보다, 원문이 그 기호를 어떤 문장 변환에 쓰는지 살펴야 합니다. 같은 모양이라도 시대와 저자에 따라 역할이 다를 수 있고, 피아노의 기호 일부는 뒤에 다른 표기로 정착했습니다.

독해 순서는 명제가 무엇인지 확인하고, 결합이나 부정이 만드는 새 명제를 읽은 다음, 함의가 어느 방향의 추론 허가를 표시하는지 보는 편이 안전합니다.

아래 실험은 원문 기호를 그대로 재현하는 대신, 피아노가 나눈 기능을 오늘의 한국어 표지로 정리한 교육용 모형입니다. 버튼을 누르면 각 기능이 문장에서 맡는 일을 보여 줍니다.

기호 하나의 뜻보다 중요한 것은 그 기호로 어떤 문장을 만들고 어떤 변형을 허용하는지입니다.

공리는 이 체계 안에서 출발점으로 받아들이는 문장입니다. 정의는 새 표기의 뜻을 이전 표기로 연결하고, 정리는 공리·정의·앞선 정리를 사용해 증명하는 문장입니다. 세 종류를 섞으면 결론이 무엇에 기대는지 알 수 없습니다.

피아노의 페이지는 각 명제에 표지를 붙여 이전 항목을 참조하게 합니다. 짧은 표기는 추론의 압축이지만, 참조를 따라가면 의존 관계를 다시 펼칠 수 있습니다.

§1은 자연수의 영역, 첫 수 1, 각 수의 후속자, 등식에 관한 규칙, 후속자의 성질, 그리고 귀납 원리를 아홉 항목으로 둡니다. 오늘날 흔히 0에서 시작하는 피아노 공리계와 달리 이 책은 1을 기본 수로 씁니다.

아홉 줄은 산술 정리 전체의 목록이 아닙니다. 덧셈·곱셈의 성질을 증명할 수 있게 하는 최소 출발점을 열거한 것입니다.

후속자는 한 수에서 바로 다음 수로 가는 연산입니다. 1을 출발점으로 두고 후속자를 되풀이하면 2, 3, 4 같은 수가 이어집니다. 다만 “계속 더하면 모든 자연수가 나온다”는 직관만으로는 N 전체에 대한 정리를 증명할 수 없습니다.

후속자의 성질과 귀납 원리를 함께 두어, 특정 수의 계산과 모든 자연수에 대한 주장을 연결합니다.

귀납 원리는 시작점과 다음 수로 넘어가는 규칙을 함께 요구합니다. 여기서는 1부터 시작하는 자연수를 사용하고, S(a)를 a의 다음 수라고 쓰겠습니다. 덧셈은 a+1=S(a), a+S(b)=S(a+b)로 정의합니다. 이제 모든 자연수 n에 대해 1+n=S(n)임을 증명해 봅시다.

먼저 n=1이면 1+1=S(1)이므로 성립합니다. 다음으로 임의의 n에서 1+n=S(n)이라고 가정합니다. 덧셈 정의로 1+S(n)=S(1+n)이고, 가정을 대입하면 S(S(n))입니다. 이것이 다음 수 S(n)에 대해 증명해야 할 식입니다.

이 성질을 만족하는 수들의 클래스를 k라고 하면 1이 k에 속하고, n이 k에 속할 때 S(n)도 k에 속합니다. 귀납 원리를 적용하여 모든 자연수가 k에 속한다고 결론 내립니다. 아래 버튼에서 시작점·귀납 단계·전체 결론을 차례로 확인해 보세요.

2+3을 후속자로 계산해 봅시다. 2=S(1), 3=S(2)입니다. 덧셈의 두 정의 a+1=S(a), a+S(b)=S(a+b)를 적용하면 두 번째 수를 한 단계씩 줄이면서 바깥에 S를 하나씩 붙일 수 있습니다.

2+3 = 2+S(2) = S(2+2) = S(S(2+1)) = S(S(S(2))) = 5입니다. 각 등호에서 어떤 정의를 사용했는지 확인하면 계산이 공리와 정의에 어떻게 기대는지 보입니다. 교환법칙처럼 모든 수에 적용할 성질은 별도의 증명을 거칩니다.

기호는 범위와 의존 관계를 선명하게 하지만, 잘못된 공리나 잘못 적용한 규칙을 자동으로 막지는 않습니다. 독자는 기호의 뜻, 변수의 범위, 참조한 명제, 적용한 변형이 맞는지 확인해야 합니다.

정확성은 짧은 표기 자체가 아니라 공개된 규칙을 같은 방식으로 되풀이해 검사할 수 있다는 데서 나옵니다.

뒤쪽은 분수와 유리수, 양의 크기와 한계에 관한 표기로 범위를 넓힙니다. 자연수에서 마련한 연산과 순서의 성질을 발판으로 삼되, 새로운 대상에는 새로운 정의와 조건이 필요합니다.

이 대목은 기호 체계가 산술의 한 장에만 머물지 않고 더 넓은 수 개념을 조직하려 했음을 보여 줍니다.

일상어는 배경과 의도를 풍부하게 전달합니다. 기호식은 필요한 조건과 적용 범위를 압축해 반복 검사를 쉽게 합니다. 둘 가운데 하나를 버리기보다, 설명에는 자연어를 쓰고 핵심 조건은 형식으로 고정하는 방식이 실용적입니다.

아래 비교는 피아노의 특정 문장을 번역한 것이 아니라, 그의 형식화 목표를 오늘의 학습 장면으로 옮긴 예입니다.

핵심 계보는 이어지지만 같은 판본·같은 표기·같은 메타논리라고 말하면 정확하지 않습니다. 이 책은 1에서 시작하고, 오늘날의 1차논리 문법이 표준화되기 전의 기호와 클래스 언어를 사용합니다. 이후 피아노와 다른 연구자들의 작업을 거치며 표기와 공리 구성이 바뀌었습니다.

역사적 성취는 현대 교과서를 그대로 미리 써 둔 데 있지 않습니다. 산술의 출발점을 제한된 공리와 기호 규칙으로 공개해 검사 가능한 연구 대상으로 만든 데 있습니다.

산술의 핵심 전제와 추론을 제한된 기호로 적어, 어떤 정리가 무엇에 기대는지 정확히 드러낼 수 있습니다. 피아노의 책은 자연수·후속자·등식·귀납을 공리로 제시하고 덧셈과 곱셈의 성질을 차례로 전개했습니다.

다만 기호만 남겨 뜻과 해설을 버릴 수는 없습니다. 기호의 역할을 정의하고, 범위와 적용 규칙을 공유하며, 역사적 표기와 오늘의 표기를 구분해야 합니다. 정확성은 기호와 해석, 검사가 함께 만들습니다.