idea
Programs have the same shape
Any programming language powerful enough to run arbitrary code can write programs that print their own source or inspect themselves. That is self-reference in a concrete form, and it is also why no program can check every other program for bugs. That is Turing’s version of Gödel.