Establece la existencia de los primeros principios indemostrables, antecesores de las conjeturas matemáticas y lógicas.