The existence of a Gödel-numbering that supports a strong fixed point was claimed by Kripke in his famous essay *Outline of a Theory of Truth*, **Journal of Philosophy** vol. 72 pp.690–716 (the only online copy of the paper I could locate is on JSTOR, so those of you with an academic connection can easily access it). 

On p.693, second paragraph, Kripke makes it clear that he has a proof of the existence of strong fixed points, but he writes "The argument must be omitted from this outline".

Thankfully, Albert Visser has provided a detailed exposition of the existence of strong fixed points in his majestic 2002 paper *Semantics and the Liar Paradox*, **Handbook of Philosophical Logic**, vol. 10 pp.159-245. 

An online copy of Visser's paper is available on Googlebooks; see pp.168-170 for the details of nonstandard Gödel-numbering that supports a strong fixed point. 

Here is the link Visser's paper on Googlebooks:

http://books.google.com/books?id=wwXfHT5ka_8C&pg=PA149&dq=%22handbook+of+philosophical+logic%22+%22semantics+and+the+liar+paradox%22&hl=en&sa=X&ei=6t2ET5SXHebk0QGiv8nGBw&ved=0CDYQ6AEwAA#v=onepage&q=%22handbook%20of%20philosophical%20logic%22%20%22semantics%20and%20the%20liar%20paradox%22&f=false