Поэтому от него было образовано множество уменьшительных форм: Ивась, Иваш, Ваня, Ванечка, Ванюта, Ванята, Ивашка. Имя Иван исторически восходит к каноническому мужскому личному имени Иоанн, которое в переводе с древнееврейского означает «милость Божья». Таким образом, потомок человека, обладающего именем Ивашка, со временем получил фамилию Ивашкин.