Wiktionary
rigorization
n. Conversion into a mathematically rigorous form.
n. Conversion into a mathematically rigorous form.