Teoremoj de nekompleteco: Malsamoj inter versioj

[kontrolita revizio][kontrolita revizio]
Enhavo forigita Enhavo aldonita
Luckas-bot (diskuto | kontribuoj)
e roboto aldono de: no:Ufullstendighetsteoremet
Luckas-bot (diskuto | kontribuoj)
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]]