Es decir, el conjunto de todas las afirmaciones es un conjunto inductivo.