Diferencies ente revisiones de «Teoremas de incompletitud de Gödel»

m
lint
m (Bot: Trocando la categoría Wikipedia:Correxir traducción por Wikipedia:Revisar traducción)
m (lint)
Cuidao que la manipulación d'estos signos, cadenes y sucesiones puede traducise en manipulación d'unos ciertos númberos, tantu la sintaxis qu'estrema les cadenes de signos «con sentíu» —les fórmules− como'l cálculu deductivu qu'estrema les sucesiones de cadenes «que demuestren daqué» —les demostraciones— vense traducíes a operaciones ''aritmétiques''. Esto ye, esisten una serie de [[relación matemática|relaciones]] y [[función matemática|funciones]] aritmétiques que se correspuenden coles riegles sintáctiques y del cálculu deductivu, como por casu:
 
:{{math|Sig ''x''}} : {{math|''x''}} ye (el númberu de Gödel de) un signu :{{math|Cad''x''}} : {{math|''x''}} ye (el númberu de Gödel de) una cadena (de signos)
''x''}} : {{math|''x''}} ye (el númberu de Gödel de) una cadena (de signos)
:(Omítese «el númberu de Gödel de» d'equí p'arriba)
:{{math|Suc ''x''}} : {{math|''x''}} ye una sucesión (de cadenes)
:{{math|Form ''x''}} : la cadena {{math|''x''}} ye una fórmula :{{math|Ax''x''}} : la fórmula {{math|''x''}} ye un axoma :{{math|Cons(''x'',''y'', ''z'')}}: «{{math|''x''}} ye una fórmula consecuencia inmediata de les fórmules {{math|''y''}} y {{math|''z''}}»
''x''}} : la fórmula {{math|''x''}} ye un axoma :{{math|Cons(''x'',
''y'', ''z'')}}: «{{math|''x''}} ye una fórmula consecuencia inmediata de les fórmules {{math|''y''}} y {{math|''z''}}»
:{{math|Dem(''x'', ''y'')}}: «la sucesión {{math|''x''}} ye una demostración de la fórmula {{math|''y''}}»