Hereditarily finite sets