Schuller pointed out that, if the economic theories of Mises’ book Human Action really are derived by painstaking and valid deductive argument, then it should be possible to set the book out in a formal symbolic form in which all axioms, premisses, and deductions are shown formally and proven.
No Austrian has ever done this…
But if we could somehow persuade them to try, the Internet would be so much quieter!