mathematical entities move from one level to another; an operation on such “entities” becomes in its turn an object of the theory, and this process is repeated until we reach structures that are alternately structuring or being structured by “stronger” structures.