Why Do You Do Sets When Studying Logic