Abstract
Throughout the following we will be interested in the solution of the problem whether
finite sequences of natural numbers can be coded by means of Ao-formulae in such a
way that the theory IAo proves some basic facts about this way of coding.