^*There is a full and rich literature on the theory of formal systems; if you are familiar with it, ignore it for now, as it is not important for this paper.