В стандартной интерпретации формула A означает «не существует вывода формулы A»
В этой фразе слово "означает" не подразумевает, что формула

именно так и записывается. На самом деле эта формула записывается как (в переводе на русский язык): "не существует числа

такого, что ..." и далее - некое достаточно сложное арифметическое выражение. Так что никакой "самореференции" в формуле

нет.