The contribution discusses the role of formalisms in economics and illustrated benefits of formalization in Austrian economics.