K.Podnieks. The double-incompleteness theorem. Proceedings of Fourth All-Union Conference on Mathematical Logic, 1976, Kishinev, p.118 (in Russian, online copy: HTML, online English translation: HTML)