considering that business deductions would start with definition of money and operations over money that should take care of Peano axioms inclusion.

Take Joel article as example, and i can find countless others. When biz becomes big enough, the only way to retain manageability of operations is to create either explicit guidelines for their workforce to follow (precisely like "invented strong AI using people pushing bits of paper as their computing model" - although i would replace AI with wetware robot) or implicit conventions that form so called "corporate culture" yet these "conventions" are nevertheless is very clear logical deductions in whatever basic formal system that business established.

There is obvious weakness that i do not have full documentary access to any large enterprise to formally prove to you "yes, their 5000 pages of corporate guidelines, instruction manuals, employee handbooks and divisional policies are a formal system with no contradictory statements". McKinsey can do it, i can not. Take it as inherited weakness of popular blogging. Don't think that still degrades the article to "waste of time".

Another example of very explicit formal system: in another discussion, one of my correspondents points out how pre-crash hedge funds were effectively formal systems that KNEW about incoming crash, but logical following all the rules of systems they found themselves employed at were preventing them from doing anything to prevent such a crash:

<blockquote>
when the collapse was coming was that all the smart people at the banks knew what was up, but didn't have a way to express it inside the firm. "Let's say I'm wrong: the ten guys at my desk make $100m each for the bank this year betting that the bubble doesn't burst, and I'm the guy who called them all idiots and then lost $25m shorting their positions. You think I keep my job long enough that when the bubble pops the year after, I'm around to say I told you so? Or in contrast, the bubble does pop, and each of the ten guys at my desk lost $500m and my shorts made the bank $2b. You think they're going to give me a $20m bonus for showing that they should have known sooner that they were bankrupting the company? Not only do they figure out a way to fuck me, but there's no bonuses that year anyway if all the traders were wrong."
</blockquote>

How can anybody argue this is NOT a formal system? They have the their axioms, a finite list of rules how bonuses calculated, how performance is awarded, what action dictionary each trader has, and the deductions above are just "immediate consequence" as Godel would say of previous theorems of performance compensation.

> All this to show what we freaking already know trivially.
> Business are not complete :D. There are other business ideas that are "orthogonal" to what any business does.

sounds like you live on different planet. If everybody "knew trivially" that Taleb would be a celebrity way BEFORE 2008, not after. Crisis wouldn't happen. seriously - any day you open browser and find BS like this AGAIN and AGAIN "http://online.wsj.com/article/SB1000087239639044372020457800...

"OMG! 75% of start up fail!!! Bad VCs hiding their dead! Be smart - invest in good VCs! They have the right system!", "Use this smart hedge fund - that the new system, not that hedge fund, they had bad system!". Biz word is absolutely chockfull of idiots looking for a "system", looking for mechanized recipe to follow to find "success".