Es decir, hay proposiciones no formalizables exactamente utilitizando el formalismo de la lógica de primer orden que sí pueden ser formalizadas correctamente con la lógica de segundo orden.