La teoría que resulta de añadir un contrario del axioma de regularidad se conoce como teoría de conjuntos no bien fundados.