In multilinear algebra many maps are usually proven to exist rather than simply defined. For example, commutativity is one such example. In the book I'm studying the author says: let $V_1,\dots,V_k$ be a collection of vector spaces over $K$, then if $\sigma \in S_k$ there is a linear isomorphism
$$f_\sigma : V_1\otimes\cdots\otimes V_k\to V_{\sigma(1)}\otimes\cdots\otimes V_{\sigma(k)}$$
such that $f_\sigma(v_1\otimes\cdots\otimes v_k)=v_{\sigma(1)}\otimes\cdots\otimes v_{\sigma(k)}$. Then to show this, he defines
$$g : V_1\times\cdots\times V_k\to V_{\sigma(1)}\otimes\cdots\otimes V_{\sigma(k)}$$
by $g(v_1,\dots,v_k)=v_{\sigma(1)}\otimes\cdots\otimes v_{\sigma(k)}$. He argues then that $g$ is multilinear and by the universal property there is a linear $f_\sigma$ such that
$$f_\sigma(v_1\otimes\cdots\otimes v_k)=v_{\sigma(1)}\otimes \cdots\otimes v_{\sigma(k)}$$
and since this turns basis into basis is isomorphism.
That's pretty fine, I understand this proof, I just don't understand the need for it. Why do we need to show that $f_\sigma$ exists this way? Couldn't we simply say: pick $f_\sigma$ defined on the factorizable tensors by
$$f_\sigma(v_1\otimes\cdots \otimes v_k)=v_{\sigma(1)}\otimes\cdots\otimes v_{\sigma(k)}$$
and extend by linearity. Then $f_\sigma$ is linear, turn basis into basis and is isomorphism.
Why do we need to first define a multilinear map, then show that $f_\sigma$ exists using the universal property? This just one example, there are many others where the same thing happens (associativity, existance of tensor product of linear maps and so on).
Thanks very much in advance!