Onomastics (or onomatology) is the study of proper names, including their etymology, history, and use.