Teoremoj de nekompleteco: Malsamoj inter versioj
[nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
e r2.7.1) (robota modifo de: el:Θεωρήματα μη πληρότητας του Γκέντελ |
e r2.7.2+) (robota modifo de: no:Gödels ufullstendighetsteoremer |
||
Linio 32:
[[nl:Onvolledigheidsstellingen van Gödel]]
[[nn:Ufullstendigheitsteorema]]
[[no:Gödels ufullstendighetsteoremer]]
[[nov:Teoreme de Gödel]]
[[pl:Twierdzenie Gödla]]
|