 Included in Church’s description of the process of adopting a formalized language is that one first specifies the primitive symbols and formation rules, which together with the axioms and inference rules constitute the primitive basis of the logistic system (which will become a language once semantical rules are added). The description of this process assumes that the person who undergoes it has a stock of information about language and the world, the ability to understand definitions (such as the definition of “primitive symbol”) as well as the ability to understand and follow instructions. Church also provided a rational reconstruction of how we learn our first language and suggested that this method could, in principle, be used to learn a formalized language rather than a natural language as a first language: