В ходе НИР (1) рассмотрены исторические предпосылки гомотопической теории типов и унивалентного подхода к основаниям математики, (2) исследован философский смысл гомотопической теории типов, которая также была противопоставлена с другими вариантами теории типов, (3) изучены философские предпосылки, смысл и следствия аксиомы унивалентности, (4) определён и исследовано онтологический статус объектов математики с точки зрения унивалентного подхода, (5) изучены подходящие для исследования объектов математики с точки зрения унивалентного подхода методы познания, (6) сформулированы философские и методологические основания и принципы дальнейшего исследования в рамках унивалентного подхода к основаниям математики.