Teorema di Frege
Abstract Il Teorema di Frege (FT) asserisce che gli assiomi…
Filosofia della matematica
Leggi tutto Teorema di Frege
Matematica Costruttiva
Abstract Constructive mathematics uses intuitionistic rather than classical logic. This…