El sistema axiomático tiene que ser suficientemente potente como para que a ciertas aserciones A sobre complejidad de cadenas se les pueda asociar la fórmula F en S.