#abstract algebra #real analysis #quantifier #therefore #university math #formal math