First-order logic
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.
References
- First-order logic on Wikipedia.
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.