mathematical formalization