Fregean foundations of arithmetic