But intellectual labor can become an industrial product.

Not all products of intellectual effort are theorems and mathematical proofs.

And please read this before citing Goedel's Incompleteness Theorem: http://cscs.umich.edu/~crshalizi/notabene/godels-theorem.htm...