Teorema di Frege
Abstract Il Teorema di Frege (FT) asserisce che gli assiomi dell’aritmetica di Peano al secondo ordine (PA2) possono essere derivati dal Principio di Hume (HP), secondo il quale il numero cardinale del concetto F è identico al numero cardinale del…