Logicismo: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
|||
Riga 23:
* il [[predicativismo]] della logica declinata da Russell nella [[teoria dei tipi]] a fronte del non predicativismo della matematica;
* l'[[assioma
* l'[[assioma della scelta]] o ''moltiplicativo''.
|