(a) There is the traditional view of mathematical truth, namely a mathematical truth is a general statement which not only correctly describes all its instances in the world (3s does a true empirical generalisation), but is necessarily true of its instances. Implicit in this view is the assumption that mathematical theories have an intended interpretation, namely some idealization of the world