e/Original proof of Godel's completeness theorem

Information
lexicalization	eng: Original proof of Godel's completeness theorem
lexicalization	eng: Original proof of Goedel's completeness theorem
lexicalization	eng: Original proof of Gödel's completeness theorem
instance of	(noun) a formal series of statements showing that if one thing is true something else necessarily follows from it proof

Meaning
Castilian
has gloss	spa: En 1930 Gödel demostró la completitud de la lógica cuantificacional de primer orden. Literalmente el Teorema de completitud de Gödel establece: "Para toda fórmula A de la lógica cuantificacional de primer orden, si A es lógicamente verdadera, entonces A es deducible". Dicho formalmente: "Si \|= A, entonces \|- A". Esto quiere decir que el sistema formal de la lógica cuantificacional será completo si todas las fórmulas que representan verdades lógicas son formalmente deducibles en el sistema.
lexicalization	spa: Demostracion original del teorema de completitud de Godel
lexicalization	spa: Demostración original del teorema de completitud de Gödel