Logica matematica/Intermezzo paradossi: differenze tra le versioni

Ci sono delle teorie degli insiemi alternative (come la NF di Quine), che riescono ad ammettere l' insieme di tutti gli insiemi. Ma allora perdono altre proprietà, per esempio non è sempre possibile costruire una biiezione tra un insieme e gli insiemi costituiti prendendo uno ad uno i vari elementi (i singoletti). In NF non è più possibile dimostrare il teorema di Cantor che l' insieme delle parti ha una cardinalità maggiore dell' insieme stesso.

 

 

== Paradosso di Skolem ==