With an infinite domain (e.g.numbers) randomised testing is necessary, no?
Of course, if you are interesting in proving statement about abstractly defined constructs: infinity is no issue as your domain is uniform. In real-life, this is not the case.