La formalizzazione della prova modale del Tractatus de Primo Principio di Giovanni Duns Scoto