mathematically rigorous synonym