Verso i sistemi assiomatici del 2000 in Matematica, Logica e Informatica.