First-order logic is a (class of) formal system(s) in which one is able to talk of the properties of individuals (mathematical objects), and also able to quantify over such individuals.