Resumen de → Consistencia de los sistemas LD5 a LD10
- español
Los sistemas proposicionales LD5, ..., LD10 soportan una forma general de la paradoja de Russell y son →consistentes
- English
The propositional systems LD5, ..., LD10 support a general form of Russell paradox and are→consistent
