La axiomatización ordinaria de aritmética de segundo orden utiliza un lenguaje basado en conjuntos en el cual los cuantificadores de conjunto pueden ser interpretados como cuantificando sobre el espacio de Cantor.