There is a universal property for free modules, where for any map $f:B\rightarrow S$ there is a map $g:F(B)\rightarrow S$ such $g\cdot b=f$ where $b$ is the canonical map from the basis set into the free module $F(B)$.
This property is used in the proof (linked below) that the tensor product is the only module that satisfies the "universal property for tensor products."
The universal property for tensor products replaces $f$ above with a bilinear map. Now suddenly the free module isn't good enough; we the only module which satisfies the universal property is the tensor product. The free module can't also satisfy it, as the tensor product is unique up to isomorphism.
So in short, I don't understand why the free module $F(V\times W)$ doesn't satisfy the universal property for tensor products!
Thanks for any help!