[1a] „Laßwitz wusste sehr wohl: Die Menge aller endlichen Zeichenfolgen über einem endlichen Alphabet ist abzählbar unendlich.“❬ref❭❬/ref❭
[1b] „Jede rekursiv aufzählbare Menge ist abzählbar, aber nicht alle abzählbaren Mengen sind rekursiv aufzählbar.“❬ref❭Wikipedia-Artikel Rekursiv aufzählbare Menge❬/ref❭