The claim holds only within ZFC set theory; in alternative foundations like NFU or Aczel's non-well-...