Occurrence of contradictions in Zermelo–Fraenkel theory under extension of base language by recursion functions

It is shown that the extension of base language in Zermelo–Fraenkel theory, which allows relations on recursion function of natural argument, may lead in Set Theory to contradictive constructions on arithmetic level.