The procedure of uniquely associating one number with each element of a set in order to arrive at a measure of the set. Along with measurement, counting is the procedure whereby mathematics is applied. Hence its objectivity is a principal datum for any philosophy of mathematics.