It allows sequences of symbols to be represented as single natural numbers.

It was originally developed to simplify prime factorization problems.

It is used only in number theory and has no role in logic.

It assigns a unique natural number to each symbol in a formal language.