A Formalization of Austrian Economics. Praxeological Foundations: The Base System and Its Derived Theorems

Rafał Komendarczyk, Walter E. Block, John Levendis +1

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 s…