토론:굿스타인의 정리

문서 내용이 다른 언어로는 지원되지 않습니다.
위키백과, 우리 모두의 백과사전.

패리스의 정리와의 합병에 대하여[편집]

이 정리와 패리스의 정리에 수록된 정리는 사실상 같은 정리입니다. 하나는 (강한) 굿스타인 열, 다른 하나는 약한 굿스타인 열이 끝나는지의 여부에 대한 것이며, 약한 굿스타인 열에 대한 정리는 강한 굿스타인 열에 대한 정리를 자명하게 함의합니다. 강한 굿스타인 열에 대한 정리마저 페아노 공리계에서 증명할 수 없으므로, 약한 굿스타인 열에 대한 정리 역시 마찬가지입니다.

모든 외국어 위키백과에서는 이를 같은 문서에서 다루고 있으며, 한국어 위키백과에서도 굳이 두 문서를 나눌 필요가 없다고 봅니다. 현재 강한/약한 굿스타인 열의 정의 및 페아노 증명 불가능성의 의의 등이 두 문서 사이에 중복되어 있습니다. Osteologia (토론) 2014년 11월 23일 (일) 11:31 (KST)[답변]

외부 링크 수정됨 (2018년 7월)[편집]

안녕하세요 편집자 여러분,

굿스타인의 정리에서 1개의 링크를 수정했습니다. 제 편집을 검토해 주세요. 질문이 있거나, 봇이 이 문서나 링크를 무시하기를 바라신다면 간단한 자주 묻는 질문에서 더 많은 정보를 찾아보세요. 다음 변경사항을 적용했습니다:

봇의 문제를 수정하는 것에 관해서는 자주 묻는 질문을 참조해 주세요.

감사합니다.—InternetArchiveBot (버그를 제보하기) 2018년 7월 19일 (목) 16:44 (KST)[답변]

외부 링크 수정됨 (2022년 11월)[편집]

안녕하세요 편집자 여러분,

굿스타인의 정리에서 1개의 링크를 수정했습니다. 제 편집을 검토해 주세요. 질문이 있거나, 봇이 이 문서나 링크를 무시하기를 바라신다면 간단한 자주 묻는 질문에서 더 많은 정보를 찾아보세요. 다음 변경사항을 적용했습니다:

봇의 문제를 수정하는 것에 관해서는 자주 묻는 질문을 참조해 주세요.

감사합니다.—InternetArchiveBot (버그를 제보하기) 2022년 11월 17일 (목) 01:02 (KST)[답변]