Contribuciones del usuario 190.232.8.157
Apariencia
Para 190.232.8.157 discusión registro de bloqueos registros registro del filtro antiabusos
1 abr 2010
- 00:5900:59 1 abr 2010 difs. hist. −2524 Teorema de completitud de Gödel Página reemplazada por «En 1930 Gödel '''demostró la completitu de la lógica cuantificacional de primer orden.''' Literalmente el Teorema d;La prueba del teorema de completitud se reduce a c...».