Is there an interesting set of natural numbers defined by a number-theoretic property that is finite?