Una vez aceptada la existencia del conjunto de enunciados autónomos basta aplicar a estos enunciados las reglas de la inferencia deductiva y derivar la verdad de las teorías.