rigorization

Noun

 * 1) Conversion into a mathematically rigorous form.