Las preguntas en torno a la completitud, de una teor ía o de una l ógica, aparecían publicadas en 1928, pero solo unas pocas d écadas antes ni siquiera hab ían sido formuladas. Por tanto, el prop ósito de este trabajo consiste en ofrecer una explicaci ón plausible de c ómo los distintos sentidos del t érmino "completitud" fueron finalmente organizados como parte del canon de la l ógica. Nuestra hip ótesis ser á afirmar que la genealog ía de esta propiedad metate órica habr ía sido desarrollada en íntima conexi ón con el progresivo aislamiento de la noci ón de sistema formal. Debido a ello, los precedentes de la completitud pueden encontrarse en los siguientes hitos de la l ógica: el estudio matem ático de un conjunto de axiomas por s í mismo (Huntington y Veblen), el surgimiento de un metalenguaje desde el cual hablar de una teor ía concreta (Hilbert), y la distinci ón entre f órmulas v álidas y f órmulas demostrables dado un determinado c álculo (Bernays). Como se ver á, esta es la prueba documentable de que la metateor ía proviene del ideal axiomatico