It has been argued in relation to Old Babylonian mathematical procedure texts that their validity or correctness is self-evident. One “sees” that the procedure is correct without it having, or being accompanied by, any explicit arguments for the correctness of the procedure. Even when agreeing with this view, one might still ask about how is the correctness of a procedure articulated? In this work, we present an articulation of the correctness of ancient Egyptian and Old Babylonian mathematical procedure texts – mathematical texts presenting the solution of problems. We endeavor to make explicit and explain how and why the procedures are reliable over and above the fact that their correctness is intuitive.Se ha argumentado respecto a problemas matemáticos de la antigua Babilonia que la validez o corrección de los procedimientos adoptados para su solución es evidente. Uno “ve” que el procedimiento es correcto sin que este vaya acompañado de un argumento explícito de su corrección. Incluso estando de acuerdo con este punto de vista, uno se puede llegar preguntar de qué manera el procedimiento es correcto. En este trabajo, identificamos elementos que son cruciales para la corrección de procedimientos matemáticos del antiguo Egipto y de la antigua Babilonia. Tratamos de hacer explícito cómo y por qué los procedimientos son fiables más allá del hecho de que es intuitiva su corrección.