Sistema de lógica paraconsistente C1
Fecha
2000
Autores
Sierra Aristizábal, Manuel
Título de la revista
ISSN de la revista
Título del volumen
Editor
Universidad EAFIT
Resumen
Descripción
En la teoría intuitiva y no axiomática de conjuntos de Cantor, existe un principio básico llamado postulado de separación, este dice que toda propiedad determina un conjunto, aquel formado por los objetos que poseen tal propiedad; como se sabe, utilizando principios lógicos muy simples se puede probar que este postulado conduce a la contradicción llamada la Paradoja de Russell.