matematica oltre la logica