Z. Tworak, “Analogy and diagonal argument”, LLP, vol. 15, no. 1, pp. 39–66, Mar. 2006.