초곱

뢰벤하임-스콜렘 정리에 따르면 표준 산술 모형과 기초적으로 동등(elementarily equivalent)하지만 구조적으로 상이(nonisomorphic)한 모형이 존재한다. 달리 말해, 자연수가 만족하는 모든 1차 논리 명제를 만족하지만 자연수가 아닌 수 체계가 존

초자연수의 비표준적 특징 이전 글에서 초자연수를 정의했다. 지금까지 우리가 살펴본 초자연수는 $[0], [1], [2], \dots$와 같이 표준 자연수와 상응하는 것들이었다. 이제 표준 자연수와는 괴리가 있는 초자연수들을 살펴 보자. 다음의 초자연수 $\mathf