Tworak, Z. Analogy and Diagonal Argument. LLP 2006, 15, 39-66.