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.