This paper introduces the notion of a commutative C*-algebra in a Grothendieck topos E and subsequently that of the spectrum MFnAofA, presented as the locale determined by an appropriate propositional theory in the topos E which describes the basic properties of a multplicative linear functional onA. Further, the locale CEof complex numbers in the topos E is defined in a similar manner and some of its basic properties are established, such as its complete regularity and the compactness of the unit square in CE. Finally, it is shown that the locale MFnAis compact and completely regular, extending the classical result that the multiplicative linear functionals on a commutative C*-algebra form a compact Hausdorff space in the weak*topology.