From the book Discrete Structures, Logic, and Computability, section 1.2 is Sets and the last problem reads as: #35. Try to find a description of a set A satisfying the equation A = {a, A, b}. Notice that in this case A ? A The answer is not in the back of the book, does anybody know the answer to problem #35?