Mathusic писал(а):
Дайте их.
Думаю, нет смысла печатать сюда определения.
Mathusic писал(а):
Ещё проще видеть, что сам класс конечен, а его замыкание - счётно.
Замыкание конечно, ведь кол-во переменных конечно.
cyb12 писал(а):
И этого я тоже не понимаю.
Это относилось к другим доказательствам, а не к первому пункту.
В общем, остался последний пункт. У меня по нему такая мысль: подставив вместо последнего аргумента нуль, мы получим функцию, зависящую от четного числа аргументов. Значит, класс незамкнут.