Stav dette: Metodología formal de la investigación científica