I think he means the well-ordering principle