Metadata
Author: WikiMatrix
Data
Swedish[sv]
Goodsteins teorem är inom matematisk logik ett uttalande om de naturliga talen, som Reuben Goodstein bevisade 1944, vilket säger att varje Goodstein-sekvens till slut terminerar vid 0.
Ukrainian[uk]
Теорема Гудштейна — твердження математичної логіки про натуральні числа, зроблене Рубеном Гудштейном, стверджує, що всі послідовності Гудштейна закінчуються нулем.