I'm still not convinced that any business plan or operation necessarily includes Peano axioms. Goal of business is creating value for customer, and the compensa

I'm still not convinced that any business plan or operation necessarily includes Peano axioms. Goal of business is creating value for customer, and the compensation for that is expressed in monetary terms true, but that still does not include Peano axioms formally even if you include accounting aspect of business. In particular axiom of induction is not strictly necessary to describe any business. But all this is somewhat beside the point, since knowing a business is a formal system to which Godels theorem applies does not let you figure out on its own if it is going to make it and if you therefore should invest in it. If anything you are arguing all businesses are formal Godelian systems therefore that can't be used as a distinguishing feature.