A similar phenomenon occurs in formalized theories that are able to refer to their own syntax, such as Zermelo–Fraenkel set theory (ZFC).
Ein ähnliches Phänomen tritt bei formalisierten Theorien auf, die auf ihre eigene Syntax verweisen können, wie die Zermelo-Fraenkel-Mengenlehre (ZFC).