Viva, Samuel:
O trabalho de mestrado do Oddsson que deu origem a isto, defendido há
três anos, é interessante. É bacana que esta teoria paradefinida de
conjuntos tenha sido desenvolvida sobre CLoNs, uma lógica que é
simultaneamente uma LFI e uma LFU. Na minha opinião (bilateralista!),
é um passo
Bom artigo, mas Marcelo Coniglio e eu temos uma teoria de conjuntos
paraconsistente bastante satisfatória ([1] e [2]), equiconsistente com
ZF. Nossa teoria, porém, não é paracompleta. Nao vimos necessidade
desse movimento.
Os autores citam [1], mas não citam [2], que propõe modelos.
Uma das quest
