Incompleteness Theorems on the Tech Tree