Geometria nella logica: le dimostrazioni