first, that the validity of the inductive principle itself cannot be proved by induction; secondly, that the general propositions of mathematics, such as 'two and two always make four', can obviously be known with certainty by consideration of a single instance, and gain nothing by enumeration of other cases in which they have been found to be true.