Applying Gödel's incompleteness theorem to search for unprovably, would-be, successful companies requires the searcher to develop axioms and rigorous math to kn

Applying Gödel's incompleteness theorem to search for unprovably, would-be, successful companies requires the searcher to develop axioms and rigorous math to know "This startup is an unprovable case and should be tested". I really doubt axioms have even been assigned to this problem.