"Le dimostrazioni matematiche fra logica e fondamenti"