Seminario - Completezza ed incompletezza: il metodo assiomatico da Euclide a Gödel