Пытаюсь внести некоторые изменения, но не уверен в этом:
Докажите, что набор всех языков в конечном алфавите неисчислим.
I есть ощущение, что потребуется использовать метод Диагонализации Кантора - но я не уверен, как вы могли бы использовать его для этой проблемы.