On anti-foundation and coding the hereditarily finite sets A kind of library, 27 Aug 2016 I would like to highlight a cute question in a recent paper…