§ 224 has become too long. There the following important result might get lost.
I declare: I accept your stand point - or should I call it conjecture or even theorem?
1) We cannot remove every set E from D. Some elements will remain in D \E since D is infinite and E is finite although no finite number of elements and no last element can be determined.
2) We cannot find every line of a Cantor-list (and reverse the appropriate digit). Some lines will stay undiscovered since the list is infinite but the discovered lines l_n always belong to a finite set of n lines.
If someone has doubts, then we explain that finding a line is logically equivalent to removing it, and we refer him to William Hughes who knows a theorem that forbids exhausting infinite sets by removing or discovering lines or switching their digits.