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