Mathematical formalization