 since the collection of the instances of (T) is \(\omega\)-incomplete (where a theory, \(\theta\), is \(\omega\)-incomplete if \(\theta\) can prove every instance of an open formula ‘\(Fx\)’ but cannot prove the universal generalization, ‘\(\forall xFx\)’).