Diferencies ente revisiones de «Teoremas de incompletitud de Gödel»
Contenido eliminado Contenido añadido
m iguo parámetros de plantía |
m iguo parámetros de plantía |
||
Llinia 232:
}} Primer demostración del teorema de completitud.
* {{cita publicación
|apellido=Gödel |nome=K. |
|títulu=Die Vollständigkeit der Axiome deas logischen Funktionenkalküls
|idioma=alemán
|