A Formalization of Austrian Economics. Praxeological Foundations: The Base System and Its Derived Theorems (opens in new tab)

This paper presents an axiomatization of Ludwig von Mises' praxeology in many-sorted first-order logic, isolating the foundational layer. We introduce a formal language with five sorts ({\sf Actors}, {\sf Actions}, {\sf Ends}, {\sf Things}, {\sf Times}) and six primitive relations ({\em Acts}, {\em Avail}, {\em EndOf}, {\em Use}, a preference order, and a time order), together with a base axiom system organised into three layers: the structure o...