David_Kristoffersson comments on Book Review: Naive Set Theory (MIRI research guide)