Cobham's theorem
= Cobham's theorem
{wiki=Cobham's_theorem}
Cobham's theorem is a result in number theory that pertains to the theory of formal languages and the classification of sequences of integers. Specifically, it addresses the distinction between sequences that are definable in a certain arithmetic system and those that are not.