Es decir, cuando el conjunto de las verdades lógicas del sistema es un subconjunto del conjunto de teoremas.