Изменения

Другими словами, ''универсальный язык'' {{---}} это язык всех программ и их входных данных, на которых программа возвращает <tex>1</tex>.

Программа {{---}} это набор строк, занумеровав которые, можем получить биекцию между строками и натуральными числами.