グッドスタイン（Reuben Louis Goodstein）が考察した（1944年）、数理論理学における自然数に関する命題であり、「全てのグッドスタイン数列は必ず 0 で終わる」という主張。ペアノの公理系では証明できない。始めに、自然数のカントール型 n-進表示とは、以

続きを読む