demostrar por inducción que hay $2^n$ binarias $n$-vectores.
Así que, aprovecho $1$ como el caso base:
$$A(1) = 2^1=2 : \begin{bmatrix}0\end{bmatrix}_1,\begin{bmatrix}1\end{bmatrix}_2$$
$$A(2) = 2^2=4 : \begin{bmatrix}0\\1\end{bmatrix}_1,\begin{bmatrix}1\\0\end{bmatrix}_2, \begin{bmatrix}1\\1\end{bmatrix}_3,\begin{bmatrix}0\\0\end{bmatrix}_4$$
. . .Supongo que es cierto para $k$
$$A(k) = 2^k : \begin{bmatrix}0\\1\\ \vdots \\a_i\\ \vdots \\a_k\end{bmatrix}_1,\begin{bmatrix} 1 \\ 0 \\ \vdots \\ a'_i \\ \vdots \\ a'_k \end{bmatrix}_2, \ldots,\begin{bmatrix}1\\0\\ \vdots \\ a''_i \\ \vdots \\a''_k\end{bmatrix}_{2^k} \mid ∀a_i''^{\cdots}[a_i''^{\cdots} = 0 \oplus a_i''^{\cdots} = 1] \mid k\ge 1$$
$$A(k+1) = 2^{k+1} : \begin{bmatrix} 0 \\ 1 \\ \vdots \\a_i\\ \vdots \\ a_k \end{bmatrix}_1, \begin{bmatrix}1\\0\\ \vdots \\a'_i\\ \vdots\\ a'_k\end{bmatrix}_2, \ldots, \begin{bmatrix} 1 \\ 0 \\ \vdots \\a''_i\\ \vdots \\ a''_k \end{bmatrix}_{2^k}, \begin{bmatrix} 1 \\ 0 \\ \vdots \\ a'''_i\\ \vdots \\ a'''_k \end{bmatrix}_{2^{k+1}}$$
Pero me quedo atascado aquí, no sé cómo demostrar que $A(k)+1=A(k+1)$, ¿tienes alguna idea?
Gracias de antemano