Возникновение противоречий в теории множеств Цермело–Френкеля при расширении базового языка рекурсивными функциями

Показано, что если в аксиоматике Цермело–Френкеля использовать расширение базового языка, которое допускает в формулах отношения на значениях рекурсивных функций от натурального аргумента, то в теории множеств возникают противоречивые конструкции на уровне арифметики.