Axiomatic theory of hereditarily finite sets and its fragments by Štěpán Holub and Zuzana Haniková Jul 03