On minimality of one set of built-in functions for functional programming languages

Функциональный язык программирования, который использует множество встроенных функций $\{car, cdr, cons, atom, eq, if\_then\_else\}$, является полным по Тьюрингу. В данной статье доказана минимальность этого множества функций.