@misc{indiciae0d854be56734,
  title = {A Formalization of Austrian Economics. Praxeological Foundations: The Base System and Its Derived Theorems},
  author = {Rafał Komendarczyk and Walter E. Block and John Levendis and Frank J. Tipler},
  year = {2026},
  url = {https://arxiv.org/abs/2606.18292},
  note = {Source identifier: 2606.18292}
}