Logicismo: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
m r2.6.4) (Bot: Aggiungo: kk:Логицизм
m - Infinito (v1.10)
Riga 22:
 
* il [[predicativismo]] della logica declinata da Russell nella [[teoria dei tipi]] a fronte del non predicativismo della matematica;
* l'[[assioma]] dell'[[infinito (filosofia)|infinito]], per cui esistono infiniti individui distinti;
* l'assioma della scelta o ''moltiplicativo''.