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

m
iguo parámetros de plantía
m (Preferencies llingüístiques: técnica => téunica)
m (iguo parámetros de plantía)
La forma precisa d'estes funciones y rellaciones ye aballadora y depende del criteriu que s'escoyera pa efectuar la numberación de Gödel. En particular la rellación {{math|Ax ''x''}} hai de construyise teniendo en cuenta un ciertu conxuntu d'axomes concretu, depués la rellación {{math|Dem}} fai referencia a una teoría concreta que nun s'especificó.
 
{{demostración|títulotítulu=Exemplu|plegada=non|1=Ye senciellu entender agora cómo tienen de definise dalgunes d'estes rellaciones según la numberación de Gödel amosada antes:
 
:{{math|Sig ''x''}} {{math|≡}} {{math|''x''}} ta ente 10 y 18 (dambos inclusive), o ye de la forma 20·100<sup>''i''</sup> (con ''i'' &gt; 1)