Set theory has many names whose origin is not well known, such as V and L for two most important classes, square and diamond principles, mice models etc. Is there a reference which gives reasons for the choices, perhaps together with the author and date of their introduction? Thank you, J.P.