Using this observation, Hintikka established in 1955 that second-order logic can simulate higher-order logics in the sense that for every formula of a higher order-logic one can find an equisatisfiable formula for it in second-order logic.
Используя это наблюдение, Хинтикка установил в 1955 году, что логика второго порядка может симулировать логики высшего порядка в том смысле, что для каждой формулы логики высшего порядка можно найти соответствующую равновыполнимую формулу логики второго порядка.