De esto concluyo que bajo ciertas circunstancias un conjunto definible no forma un conjunto completo.El quinto axioma afirmaba que si todo "A" es una "B", y todo "B" es una "A", entonces la clase de las "A"s es idéntica a la clase de las "B"s.