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.
I really doubt axioms have even been assigned to this problem.