Статья посвящена функциональной типологии инфинитивных конструкций в ряде европейских языков (английском, немецком, русском, польском, испанском, французском), что имеет важное значение для сравнительного языкознания и теории универсалий, в частности для построения типологии предложения и установления синтаксических универсалий. Методика анализа заключается в сравнении инфинитивных структур в составе выбранных индуктивным способом эквивалентных предложений конкретных языков с языком-эталоном. Репрезентация языковых структур в каждом разделе языка-эталона соответствует одному из четырех типов: 1) универсалия (инфинитив во всех репрезентациях), 2) фреквенталия (инфинитив в большей части всех репрезентаций), 3) маргиналия (инфинитив в меньшей части всех репрезентаций), 4) уникалия (инфинитив только в одной репрезентации). Критерием отбора языковых репрезентаций, представляющих эталон, служит прототип как наиболее характерный для конкретного языка способ выражения значения. Гипотезой исследования служит двуединый тезис: 1) структурный тип языка влияет на его способность к использованию инфинитивных структур; 2) использование инфинитивных структур объясняется тенденцией к компрессии текста. В целом исследование свидетельствует о значительном межъязыковом сходстве в функционировании инфинитива в качестве подлежащего, сказуемого, дополнения, определения. Близость к эталону определяется числом синтаксических функций инфинитива в предложении; по степени убывания этой близости языки-репрезентанты можно расположить слева направо в следующем порядке: английский → французский → испанский → немецкий → русский → польский.