I read HA years ago and now I am going through the study guide as a primer to get back up to speed. In the technical notes murphy writes, “Mises distinguishes between a priori and a poste- riori statements (see “Why It Matters” above). Hans-Hermann Hoppe draws on Kant to apply yet another distinction, that between analytic and synthetic statements. (Analytic can be deter- mined simply by analyzing the components of the proposition—e.g., “A bachelor is an unmarried male”—while synthetic statements add to our knowledge; they refer to the “real world” and are not merely definitional.) Hoppe argues that Mises’s grand achievement was to prove the existence of true, synthetic, a priori propositions— something that Hume and other philosophers considered impossible.”
What proposition, exactly, shows that mises proved it was possible to have a synthetic statement that was both true, and a priori? I feel like I am gonna have a “duh” moment here in a bit but the foot note doesnt appear to reference a particular statement in the guide.
Here is the guide - page 16