Auch die Mathematik ist selbstreferentiell. Das wissen wir seit Kurt Gödel

Gödel, extrem kurz gefasst:
1) Alle genügend umfangreichen widerspruchsfreien Systeme enthalten Unentscheidbares, und
2) sie können ihre eigene Widerspruchsfreiheit nicht beweisen.