Representation of functions in \(P_{\aleph_ 0}\) by superpositions of one-place functions and addition (Q793004)

Let be \(P_{\aleph_ 0}=\cup \{N^{N^ n};n\in N-\{0\}\},\) where N is the set of all natural numbers, \(C(m)=\{f:N\to N;card f(N)=m\}\) for \(m\in N\), \(I=\{f:N\to N;(\forall n\in N)card\{i\in N;f(i)=n\}=\aleph_ 0\},\) and \(R=C(1)\cup C(2)\cup I\cup \{x+y:(N\times N)\to N\}.\) Then, for every natural number \(n>1\), there exist functions \(f_ 0,f_ 1,...,f_ n\in R\) such that for every function \(g\in P_{\aleph_ 0}\) of n variables there exists \(g_ 0\in R\) such that \(g(x_ 1,...,x_ n)=g_ 0(f_ 0(\sum^{n}_{i=1}f_ i(f_ 0(x_ i)))).\)