Some proponents of Austrian economics (particularly those of the more severe Rothbardian and Hoppe-ian (Hans-Hermann Hoppe) bent) argue that the advantage Austrian economics has over other forms of economics is that, since Austrian economics is logically deduced from a priori axioms, its truth is known even in the absence of empirical evidence.

Now, if indeed all of Austrian economics is deducible from a set of *a priori *axioms (which I doubt, since I know of Austrian economists, like Ludwig Lachmann, who use empirical methods), I have the following questions:

- I’ve never seen an Austrian economist manage to provide a complete list of all the axioms of Austrian economics. Typically they point to only one, the axiom of human action, but of course one assumption is incapable of proving anything. (For example, if I assume that the sky is green, I can’t prove anything not tautologous to “the sky is green” without introducing another assumption.) Without such a list, how is it possible to argue that Austrian economics is all deducible from these axioms?
- Relatedly, I’ve never actually seen a formal logical proof provided for any claim of Austrian economics. I’ve seen arguments, I’ve seen arguments that use deductive logic, but there’s a reason logicians (and philosophers and mathematicians) use formal logical proofs: they make it easy(er) to demonstrate that no hidden assumptions slipped in, and that no fallacious reasoning took place. Particularly, they make it possible to ensure that all theorems proven follow from the axioms and other theorems proven from the axioms.
- Moreover, provided some such exact and finite list of axioms existed, why are there no attempts to prove consistency? Any axiomatic system that wishes to produce theorems (true statements) distinct from false statements must first demonstrate that its assumptions are consistent, that is, they do not in some way contradict each other. I’ve never seen this done for Austrian economics, no doubt due to the lack of such a clear and precise list, but if somehow the axioms aren’t consistent (and this isn’t always obvious!) then they could be used to prove literally any statement.

Notice, I’m saying “I’ve never seen” instead of “does not exist.” I’ll admit, I’d be very surprised to find out that such things do exist, because I have read (most of) *Human Action* and a number of other Austrian books and have never encountered any mention of them. But I’m more than welcome to be corrected (also why the above are questions, not statements.)

My point being: in the absence of any one of the above three (list of axioms, logical proof, consistency), any claim that Austrian economics produces logically necessary truths is simply baseless and premature. That’s not say it is *wrong* — Cantor’s set theory was largely correct in its conclusions, despite the inherent instability of its construction (notably, the contradiction derived form considering the set of all sets.) Nonetheless, Cantor’s system was not capable of making any broad claims about necessary truths: after all, his theory was contradictory. Equally, without positively demonstrating 1, 2, and 3 above, there is a possibility that Austrian economics is self-contradictory, in which case it requires substantial architectural revision if it wishes to be respected as an axiomatic, logical system.