LOGIC, SETS, AND NUMBERS