Sets and symbolic logic