>>/118037/
> неподвижная точка G есть не что иное, как результат подстановки гёделева числа C в саму формулу C. Если мы теперь подставим гёделево число G в F, то получим формулу, эквивалентную G!

А это вроде бы Гедель как раз и доказал в 1931 году, не? С помощью кодирования выражений своих. Там была промежуточная функция сопоставления формул и номеров. Взять формулу с каким-то номером и подстить её собственный номер в саму себя, а затем примени к результату соответствующее свойство.

Это как если бы посмотреть на самого себя со стороны, самореференция. 

Ну и вот. Маги, йоги, кастанедовцы и прочие разве не то же самое пытаются сделать, укуриваясь пейотами и кактусами?