Strange loops

As Douglas Hofstdader demonstrated in GEB, there are these “strange loops” where a structure goes through several levels in a hierarchical system that, by moving upwards or downwards through the system, one finds oneself back where one started. (A paradox.) And how these properties of self-referential systems can be used to describe the unique properties of the mind. We don’t want to struggle for an indeterminate, possibly infinite length of time to determine if some string is an axiom.