Richard_Kennaway comments on Alok Singh’s Shortform

[Richard_Kennaway]

Although there is (in the usual ZFC setting) a set of all hereditarily finite sets (finite sets whose members are hereditarily finite).