Textmeddelande: Naive set theory