You searched for first order logic