I noticed the same thing while reading it. I assume that this is just a mistake or misunderstanding by the author, and they actually meant &quot;weaker&quot;.<p>Of course, switching to a weaker set of axioms would mean that some of the things proved by the old set might not be provable anymore, which still seems like an issue...