 Unfortunately, Russell found that the principles of his typed logic did not suffice for deducing even the basic laws of arithmetic. He needed, among other things, to lay down as a basic principle that there exists an infinite collection of ground objects. This could hardly be regarded as a logical principle. Thus the second attempt to reduce mathematics to logic also faltered.