Logicismo: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
m r2.7.2+) (Bot: Aggiungo ky:Логицизим
Riga 23:
* 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''.
 
===Il fallimento del progetto logicista===