Hereditarily finite sets and identity trees