> On 2 Mai, 23:16, Alan Smaill <sma...@SPAMinf.ed.ac.uk> wrote:>>> In the diagonal argument, you check exactly one case:>> assume the antidiagonal is in the list, and show the antidigonal>> is not in the list.>> This yields a contradiction,