Se le llama así (ver texto de Mariotti [1] ) a la interacción o interjuego de 1) una proposición, que se somete a 2) una validación formal (la demostración), 3) en el contexto de una teoría (sistema axiomático) dentro del cual la demostración adquiere un sentido.
