SMS: Notes on set theory