https://sabinpravat.blogspot.com/2020/09/reading-pdf-set-theory-and-logic-robert.html