"Most startup ideas are bad - Paul Graham empirically classified these as “good ideas that look like bad ideas initially”. From Gödel’s model we can draw even more precise distinction. These ideas look “bad” because they are unprovable ideas in composite formal system “everything we know so far”. Bad ideas that are actually bad are usually provably bad even in current system. "