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

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ó.

 

 

:{{math|Sig ''x''}} {{math|≡}} {{math|''x''}} ta ente 10 y 18 (dambos inclusive), o ye de la forma 20·100^''i'' (con ''i'' > 1)