Affrontare alcune questioni della teoria della dimostrazione del ventesimo secolo, in connessione con le tematiche della ricerca contemporanea