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''.
|