Los teoremas de incompletitud, demostrados por el celebre matematico Kurt Godel en el ano 1930 son de los teoremas mas famosos fuera de las matematicas. Debido a la naturaleza formal de estos, generalmente no son tan sencillos de interpretar, pero dada su importancia se afirma que su postulacion cambio la cara de la logica matematica y que aun continuan contribuyendo a su desarrollo. Se piensa que el trabajo de Godel fue uno de los mas grandes golpes al programa de formalizacion de David Hilbert, sobre todo el segundo teorema de incompletitud, ya que hay muchas afirmaciones que no son ciertas sobre ellos. Ademas se puede decir que son los teoremas mas importantes de la logica formal. El objetivo de esta charla es indagar sobre el primero de estos teoremas; su demostracion y su importancia en los sistemas deductivos. Palabras clave: conectivos unarios y binarios, variables proposicionales, constantes proposicionales, axiomatizacion de Peano.