Consistencia de los sistemas LD5 a LD10 (1998)
Los sistemas proposicionales LD5, ..., LD10 soportan una forma general de la paradoja de Russell y son →consistentes.