Q:

Modeling numbers with vectors of vectors?

I stumbled upon the strange representation of integers where
$$8=\langle\langle0,\langle0^{\infty}\rangle,0^{\infty}\rangle,0^{\infty}\rangle$$
I'll try explain the representation in a natural way. What I'm wondering -- as is common -- does this idea have a name? Is it well studied? Is it useful? It's certainly fun to play with. 
$\textbf{Explanation}$
Naturally all Natural numbers can be represented as their prime decomposition.
$$1=2^03^05^0... \quad\quad 2=2^13^05^0... \quad\quad 3=2^03^15^0...$$
$$...$$
$$12=2^23^15^07^0... \quad\quad 13=2^03^05^07^011^013^117^0... \quad\quad 14=2^13^05^07^111^0...$$
$$\text{and so forth...}$$
One could easily use this to represent the integers as endless vectors. The $n$th element corresponds to the power of the $n$th prime in a given prime decomposition.
$$1=\langle0^\infty\rangle \quad\quad 2=\langle1,0^\infty\rangle \quad\quad3=\langle0,1,0^\infty\rangle$$
$$...$$
$$12=\langle2,1,0^\infty\rangle \quad\quad 13=\langle0,0,0,0,0,1,0^\infty\rangle \quad\quad 14=\langle1,0,0,1,0^\infty\rangle$$
$$\text{and so forth...}$$
To take it a step further, one could substitute the vector representation of a number wherever that number itself appears in another vector. That is,
$$2 \rightarrow \langle1,0^\infty\rangle \rightarrow \langle\langle0^\infty\rangle,0^\infty\rangle$$
$$\text{or}$$
$$8 \rightarrow \langle3, 0^\infty\rangle \rightarrow \langle\langle0,1,0^\infty\rangle, 0^\infty\rangle \rightarrow \langle\langle0,\langle0^\infty\rangle,0^\infty\rangle,0^\infty\rangle$$
This corresponds to the fact that 
$$8=2^33^05^0...=2^{(2^03^15^0...)}3^05^0...=2^{(2^03^{(2^03^05^0...)}5^0...)}3^05^0...$$
Now all the Natural numbers can be represented with brackets and zeros
$$0 = 0 \quad\quad\quad\quad\quad\quad\quad\quad\ \ \ 5 = \langle0,0,\langle0^\infty\rangle,0^\infty\rangle \quad\quad\quad\quad\quad\quad\quad\  $$
$$1 = \langle0^\infty\rangle \quad\quad\quad\quad\quad\quad\quad\  6 = \langle\langle0^\infty\rangle,\langle0^\infty\rangle,0^\infty\rangle\quad\quad\quad\quad\quad\quad\ \ \ $$
$$2 = \langle\langle0^\infty\rangle,0^\infty\rangle \quad\quad\quad\quad\quad 7 = \langle0,0,0,\langle0^\infty\rangle,0^\infty\rangle\quad\quad\quad\quad\quad\quad\ \ \ $$
$$3 = \langle0,\langle0^\infty\rangle,0^\infty\rangle \quad\quad\quad\quad\  8 = \langle\langle0,\langle0^\infty\rangle,0^\infty\rangle,0^\infty\rangle\quad\quad\quad\quad\quad\quad$$
$$4 = \langle\langle\langle0^\infty\rangle,0^\infty\rangle,0^\infty\rangle \quad\quad\quad 9 = \langle0,\langle\langle0^\infty\rangle,0^\infty\rangle,0^\infty\rangle\quad\quad\quad\quad\quad\quad$$
I've been calling these things "corporeal" numbers since they remind me of Conway's Surreal numbers. I'll add down below any extra information about these guys that turns up.
$\textbf{Defenitions}$
$\textbf{Edit}$: These have been rewritten a few times due to new knowledge and the good suggestions of others -- such as https://math.stackexchange.com/q/2356029
The set of corporeal numbers can be defined with set-builder notation
$$\mathbb{C}_{\text{orporeal}}=\{ \langle v_1, v_2, v_3, ...\rangle : v_i \in \mathbb{C}_{\text{orporeal}} \}$$
We will also make up some notation for jumping back and forth between the Real numbers and corporeal numbers.
$$
[\ ]:\mathbb{R} \rightarrow \mathbb{C}_\text{orporeal}
\quad \text{Brackets go from Real to corporeal}
$$
$$
\text{Re}: \mathbb{C}_\text{orporeal}\supseteq X \rightarrow \mathbb{R}
\quad \text{Re() goes from some corporeals to Real}
$$
So for example
$$
\text{Re}(\langle\langle0,\langle0^\infty\rangle,0^\infty\rangle,0^\infty\rangle) = 8 
\quad\text{and}\quad
[8] = \langle\langle0,\langle0^\infty\rangle,0^\infty\rangle,0^\infty\rangle
$$
Note that Re() is only defined for $\textit{some}$ of the corporeal numbers because some don't correspond to any Real number. We'll get to those corporeal numbers further down.
$$\bullet\textbf{ Axioms }\bullet$$
Addition exists
$$ 1)\quad \text{If } \alpha \text{ and } \beta \text{ are corporeal numbers, then so is } \alpha + \beta$$
Multiplication is element-wise addition
$$2)\quad \text{If } \alpha = \langle ...a_i...\rangle \text{ and } \beta = \langle ...b_i...\rangle \text{ then }$$
$$\alpha \cdot \beta = \langle ... (a_i + b_i) ... \rangle$$
There is a corporeal number for each real number.
$$3)\quad \text{If } x \in \mathbb{R} \text{ then } [x] \text{ exists and } [x] \in \mathbb{C}_\text{orporeal}$$
Corporeal numbers model prime decomposition
$$4)\quad \text{If } x = 2^{a_1}3^{a_2}5^{a_3}7^{a_4}11^{a_5}... \text{ then}$$
$$[x]=\langle [a_1],[a_2],[a_3],[a_4],[a_5],...\rangle$$
Corporeal numbers maintain the structure of addition and multiplication in the Real numbers.
$$5)\quad \text{For } a,b \in \mathbb{R} \quad : \quad [a] + [b] = [a+b] \text{ and } [a]\cdot[b] = [ab]$$
$\textbf{Non-Real numbers}$
We can show there are a few corporeal numbers that don't correspond to any Real number.
First is $\omega$ which we'll call a hard-zero because $\omega + [x] = \omega$. Here's why it exists
$$\text{The corporeal number }[0] \text{ exists and contains other corporeal numbers}$$
$$\text{so suppose } [0] = \langle\omega,\omega,\omega,...\rangle$$
$$\text{now we make use of how multiplication was defined}$$
$$ [0]\cdot[n] = [0]$$
$$\Downarrow$$
$$\langle...,\omega,...\rangle\cdot\langle ...,[a_i],...\rangle=\langle...(\omega + [a_i]) ... \rangle = \langle ...,\omega,...\rangle$$
$$\Downarrow$$
$$\text{For any } a_i \in \mathbb{R} \text{ if follows that } \omega + [a_i] = \omega$$
The next number is $\zeta$ which corresponds to an imaginary number. It has the property that
$$\text{for some Real number -- say } n \quad : \quad n^\zeta = [-1]$$
$$\text{To see why, first note that } [-1] \text{ exists and must contain at least one non-Real element}$$
$$\text{ accordingly we say that } [-1] = \langle 0,...,0,\zeta,0,...\rangle$$
$$\text{ and we make use of how multiplication was defined again}$$
$$[-1]\cdot[-1]=[1]$$
$$\Downarrow$$
$$\langle [0],...,[0],\zeta,[0],...\rangle \cdot \langle [0],...,[0],\zeta,[0],...\rangle$$
$$||$$
$$\langle [0],...,[0],(\zeta + \zeta),[0],...\rangle$$
$$||$$
$$\langle [0],[0],[0],...\rangle$$
$$\Downarrow$$
$$\zeta + \zeta =[0]$$
The axioms of corporeal numbers aren't strong enough to conclude from here that $\zeta = 0$. We did that on purpose. If $\zeta$ was indeed $0$, then all corporeal numbers would be equal as a consequence. And a number system where all numbers are equal is useless.
The explanation here is that $\zeta$ can correspond to multiple values in the complex numbers. The conclusion -- $\zeta + \zeta =[0]$ -- can be satisfied by picking any complex value and it's conjugate for the left and right $\zeta$ respectively.
$\textbf{So what is Pi?}$
There's a sense in which the product of all prime numbers is $4\pi^2$ https://link.springer.com/article/10.1007%2Fs00220-007-0350-z
Accordingly we will say that
$$[4\pi^2]=\langle[1]^\infty\rangle
\quad\Leftrightarrow\quad
[\pi]=\Big\langle[-1]\cdot\Big[\frac{1}{2}\Big],\Big[\frac{1}{2}\Big]^\infty\Big\rangle
=
\langle[-1]\cdot\langle[-1],[0]^\infty\rangle,\langle[-1],[0]^\infty\rangle^\infty\rangle$$
But this isn't the only sense in which pi can be defined. Euler found that
$$\frac π 4 = \frac 3 4 \cdot \frac 5 4 \cdot \frac 7 8 \cdot \frac {11} {12} \cdot \frac {13} {12} \cdots$$
where the numerators are the prime numbers starting at $3$ and the denominators are the multiples of $4$ closest to the corresponding prime. (See: https://mathoverflow.net/q/137346 and http://mathworld.wolfram.com/PrimeProducts.html [forumla 33])
Accordingly
$$[\pi]=\langle \sum_{}^{\infty} [-2],[1] - \alpha_1,[1]-\alpha_2,[1]-\alpha_3,...\rangle$$
Where each $\alpha_i$ may be -- as far as I know -- finite or infinite.

A:

Your structure has big problems when you try to implement additive inverses $[-n]$ for $n\in\Bbb N$ with some reasonable porperties. E.g. using the natural assumption $[-1]\cdot[-1]=[1]$ will lead to a contradiction. Assume a representation
$$[-1]=\langle a_0,a_1,...\rangle.$$
The assumption then tells us that $a_i+a_i=0$. Because of distributivity, this is equivalent to $[2]a_i=0$. Assuming the further  representation $a_i=\langle b_0^i,b_1^i,...\rangle$, we can deduce that
$$0=[2]a_i=\langle b_0^i+1,b_1^i,...\rangle\quad\Rightarrow\quad b_0^i+1=\omega,\quad b_j^i=\omega,j>1.$$
This means $a_i=\langle b_0^i,\omega^\infty\rangle$ for some strange corporeal numbers $b_0^i$ with $b_0^i+1=\omega$. But now you see
$$b_0^i=b_0^i+[0]=b_0^i+([1]+[-1])=(b_0^i+[1])+[-1]=\omega+[-1]=\omega.$$
This means that actually $a_i=\langle\omega^\infty\rangle=0$ and therefore $[-1]=[1]$. This is certainly unwanted. Even worse, as $[-1]$ by definition satisfies $[1]+[-1]=[0]$, we just proved $[2]=[0]$. This is a contradiction.

So what now? You do not seem to have additive inverses with some natural behavior. To implement mutliplicative inverses you need additive inverses. And to implement $[\pi]$ and other real numbers you certainly need one of the above as you already demonstrated.
Actually, the existence of this strange absorbing "hard zero" $\omega$ boggles me. I got the feeling the structure might be much more well behaved if we allowe the corporeal numbers to also be finite sequences and defining $[0]:=\langle\rangle$.

A:

This is an answer to the question as it was stated initially. There it seemed as if $\def\corpo{\Bbb C_{\text{orpo}}}\corpo$ should extend the natural numbers $\Bbb N$ in a certain way. Among other things, I assume the addition and multiplication of $\corpo$ to be distributive (the former axiom 4).

I thought a lot about this interesting construct and I found a purely algebraic formulation you are maybe interested in. Note that you cannot use the setbuilder notation in the way you did: you cannot use the defined set inside the braces on the right side. You might run into foundational problems with a too naive approach. So, if we cannot directly construct the corporeals this way, we at least can state (in an algebraic fashion) what we want them to be.
In the natural numbers we have the following kind of prime factorization: if $n\in\Bbb N\setminus\{0\}$ and $p_i$ is the $i$-th prime number, then there are unique $k_i\in\Bbb N$ (only finitely many are non-zero) so that
$$n=\prod_i p_i^{k_i}.$$
It now is natural to extend this in several ways:

We want to allow infinitely many non-zero $k_i$, i.e. numbers with infinitely many different prime factors.
We want to have exponents not only from $\Bbb N$ but from a more general appropriate space $R$. It would be exceptionally nice if the exponents come from the same space as the one we are currently defining.
We do not want to have $0$ as an exception but we want it to have a unique factorization too.

Now let me show you how to express the fact that $\Bbb N$ allows a unique prime factorization in an algebraic way. First note that $(\Bbb N,+,\cdot)$ is a semiring, i.e. has associative, commutative addition with $0$; associative, distributive multiplication with $1$; $0$ is multiplicatively absorbing. The existence of a prime factorization now is equivalent to the existence of a specific isomorphism $\varphi$ between the additive and multiplicative strucuture of $\Bbb N$. More precisely, we want a monoid-isomorphism
$$\varphi :(\Bbb N\setminus\{0\},\cdot) \leftrightarrow (\Bbb N^{\Bbb N}_{\text{fin}},+).$$
Here, $(\Bbb N\setminus\{0\},\cdot)$ is the multiplicative monoid of $\Bbb N\setminus\{0\}$ (just the associative multiplication with $1$). $\Bbb N^{\Bbb N}_{\text{fin}}$ is the set of all sequences of natural numbers with only finitely many non-zero entries. Together with componentwise addition, this will give an additive monoid. This might seem strange at first, but is just your $\langle\cdot\rangle$ notation in disguise. E.g. if $n\in\Bbb N$ with prime factors $p_i^{k_i}$, then
$$n=\langle k_0,k_1,...\rangle=\prod_ip_i^{k_i} \qquad\Longleftrightarrow\qquad \varphi(n)=(k_0,k_1,...).$$
In still other words $\varphi(\langle k_0,k_1,...\rangle)=(k_0,k_1,...)$.
So why do I write this so complicated as an isomorphism? At first, isomorphisms are structure preserving, i.e. $\varphi(n\cdot m)=\varphi(n)+\varphi(m)$. This resembles your former componentwise addition axiom 3. On the other hand isomorphisms are bijective, hence this reflects the fact that a prime factorization is unique, and that any possible prime factorization gives us one unique natural number. All this is packed in only a few words and now one can apply the whole power of abstract algebra to deduce and generalize.

Now lets see where your corporeals can be placed in here. We are looking for a $\Bbb N$-extending semiring $(R,+,\cdot)$ with an even stronger connection between the additive and multiplicative structure, namely we claim the existence of a monoid-isomorphism
$$\varphi:(R,\cdot)\leftrightarrow(R^{\Bbb N},+).$$
Note the following:

We have used $R$ instead of $R\setminus\{0\}$ on the left, hence we expect that also the zero $0$ has a unqiue prime factorization.
We have removed the $\text{fin}$ from the right side, so we allow a factorization of a number $n\in R$ to contain infinitely many different primes.
We have used $R$ on the right instead of only $\Bbb N$, hence our exponents can be all numbers from this newly defined space. This automatically equips our space with an operation of exponentiation.

The question now is, whether such a semiring exists. If one exists we can call it $\corpo$ and take $\Bbb N$ as a specific sub-semiring. Actually you claimed one more thing for $\corpo$ to hold. Above definition says that any number $n\in R$ has a unique prime factorization with exponents in $R$. But we never stated what those primes are. If we specifically want the primes to be the prime numbers from $\Bbb N$, then we have to include the following further axiom: For $p_i\in\Bbb N$ being the $i$-th prime number, we claim
$$\varphi(p_i)=(\overbrace{0,...,0}^{i-1},1,0,0,...).$$
This makes $\varphi(p_i)$ a generating system of $(\corpo^{\Bbb N},+)$. If we do not claim this, it could happen that the former prime numbers are no longer prime in the extended space, but now are composites of new strange corporeal primes. We then cannot be sure that e.g. $\varphi(2)=(1,0,0,...)$. So we claimed it for convenience.

Here are some first observations. Lets begin with the cardinality of $\corpo$. As isomorphisms are bijective, this means that $\corpo$ and $\corpo^{\Bbb N}$ are of the same cardinality. But we have
$$|\Bbb N|^{|\Bbb N|}=|\Bbb R|\qquad \text{but}\qquad |\Bbb R|^{|\Bbb N|}=|\Bbb R|.$$
We therefore see that $\corpo$ must be uncountable. And this is not because it contains representations of all real numbers (you can see that it does not from my other answer), but only generalized integers. This means that it does contain many non-natural numbers.
I have never mentioned your "hard-zero" $\omega$ until now. This is because its existence follows naturally from the fact that we need a prime factorization of $0$. As $0$ is multiplicatively absorbing, the existence of $\varphi$ imples the existence of an additively absorbing element $\omega$ and
$$\varphi(0)=(\omega,\omega,...).$$

