For this post, I focus on the theory of choice.
Here are examples of arguably a weak understanding of both the Austrian school and of mainstream economic theory:
"...we're not rejecting cardinal utility functions because it's hip and counter-culture. There's a distinct reason utility functions are impossible and unrealistic, and that's because utility cannot be known or measured... The degree to which we draw swooping utility functions overlaying cost curves is a unacceptable practice borrowed from coordinate geometry. Utility, again - is ordinal, it is intrinsically subjective, and it cannot be made known by other people." -- Mattheus von Guttenberg
"The concept of diminishing marginal utility is implicit in the logic of action, the Austrians just draw it to the fore." -- Mattheus von GuttenbergThe claim that utility reaches an interval-level measurement scale is a conclusion formally drawn from the Von Neumann and Morgenstern axioms (which can be considered independently of game theory). Most introductory economic textbooks claim that utility only reaches an ordinal-level measurement scale, anyways. The introductory textbooks have a different set of axioms, where choice among a set of goods with specified probability is not formally modeled. And they assert that the utility obtained is not interpersonally comparable. Mattheus' objections are not addressed to any views prominent in mainstream economic teaching for at least half a century. And to assert that diminishing marginal utility is consistent with utility reaching only an ordinal-level scale requires an argument. (I'm actually intrigued by J. Huston McCulloch's 1977 attempt to make such an argument, the one example of which I know in the last quarter of the last century.)
Mises incorrectly asserted that much of his theory could be deduced from a single postulate.
"The only axiom is 'man acts' and we draw the entire body of economic science spanning a thousand pages." -- Mattheus von Guttenberg
"...I have always been interested in rewriting [Human Action] 'as a set of numbered axioms, postulates, and syllogistic inferences using, say, Russell's Principia.' I believe it can be done." -- Mattheus von GuttenbergI think such a rewriting, as it starts from the above informally stated premise, would be unconvincing.
Furthermore, the current state of decision theory suggests that analyses other than Mises' approach, are consistent with this axiom. The Austrian school approach is roughly akin to Samuelson's revealed preference theory. (One important difference is that Austrian advocates have some silly things to say about the impossibility of indifference.) Anyways, the idea is that an acting human, when presented with two lists of goods, decides between them. But social choice theory, as developed by, say, Amartya Sen in the late 1960s and early 1970s, has shown how to dispense with the formalization of choice as a binary relation as a primitive notion. Instead, one can start with a choice function, that is, a mapping from each menu that an agent might be presented with to a set of best choices for that menu. The derivation of a complete and transitive binary preference relation from a choice function requires additional structure on how menu choices relate across menus. And why the imposition of those additional requirements follows from human action needs to be argued. For example, why are not increasingly prevalent models, at least in research literature, of divided selves consistent with human action?