tales que cada "F" es o bien un axioma o bien un teorema que se deduce de dos fórmulas anteriores "F" y "F" (tales que "jn" no es un axioma entonces es un teorema.