Teoria degli Insiemi in una logica paraconsistente

Utilizziamo una particolare logica rilevante (paraconsistente) per ricostruire la teoria ingenua degli insiemi senza che questa scada nella banalità. L'obiettivo del testo è mostrare come una logica più debole possa produrre una teoria soddisfacente gestendo le contraddizioni. Metteremo in luce alcune difficoltà formali mentre mostreremo alcuni teoremi insiemistici basilari. Infine cercheremo di definire i numeri ordinali.