Komendarczyk et al. (2026) A Formalization of Austrian Economics: Praxeological Foundations
- Schema.org Type:
ScholarlyArticle - Authors: Rafał Komendarczyk et al.
- Year / Venue: 2026 — arXiv:2606.18292
- URL: https://doi.org/10.48550/arXiv.2606.18292
gist
ミーゼスの行為公理と選好順序を多ソート一階述語論理およびLean 4で公理化した論文
Verbatim Quotes
- Section 2 ‘The Base System’, p. 5:
“Every human action is a purposeful employment of scarce means aimed at the attainment of a preferred end, inducing a strict asymmetric preference ordering over alternatives.”