Teoremoj de nekompleteco: Malsamoj inter versioj
[kontrolita revizio] | [kontrolita revizio] |
Enhavo forigita Enhavo aldonita
e roboto aldono de: no:Ufullstendighetsteoremet |
e r2.7.1) (robota aldono de: nn:Ufullstendigheitsteorema |
||
Linio 31:
[[ko:불완전성 정리]]
[[nl:Onvolledigheidsstellingen van Gödel]]
[[nn:Ufullstendigheitsteorema]]
[[no:Ufullstendighetsteoremet]]
[[nov:Teoreme de Gödel]]
|