Boolos sostenía que si uno lee las variables de segundo orden en lógica de segundo orden monádica en forma plural, entonces la lógica de segundo orden puede ser interpretada como que no posee vínculos ontológicos con otras entidades que no sean aquellas pertenecientes al rango de las variables de primer orden.