Доказательство существования универсальной функции

[Killer]

Что ж, продолжаю хит-парад глупых вопросов. "Докажите, что класс функций обладает универсальной функцией тогда, и только тогда, когда он непуст и не более чем счётен". Если кто знает - объясните.