Noun
rigorization (usually uncountable, plural rigorizations) Conversion into a mathematically rigorous form.