Stav dette: Una perspectiva sobre la demostración