გოდელის არასრულობის თეორემები: განსხვავება გადახედვებს შორის
| [შეუმოწმებელი ვერსია] | [შეუმოწმებელი ვერსია] |
შიგთავსი ამოიშალა შიგთავსი დაემატა
Linguistus (განხილვა | წვლილი) No edit summary |
მ +links, cat. |
||
ხაზი 10:
'''გოდელის არასრულობის მეორე თეორემა''':
ნებისმიერი საკმარისად მდიდარ ფორმალური თეორიაში თეორემა ამავე თეორიის თავსებადობის შესახებ დამტკიცებადია, მაშინ და მხოლოდ მაშინ როცა ეს თეორია არათავსებადია.
{{მათემატიკა}}
[[კატეგორია:მათემატიკური თეორემები]]
[[bg:Теорема на Гьодел за непълнота]]
[[cs:Gödelovy věty o neúplnosti]]
[[de:Gödelscher Unvollständigkeitssatz]]
[[en:Gödel's incompleteness theorems]]
[[es:Teorema de la incompletitud de Gödel]]
[[eo:Teoremoj de nekompleteco]]
[[fr:Théorème d'incomplétude de Gödel]]
[[gl:Teorema da incompletude de Gödel]]
[[ko:불완전성 정리]]
[[io:Godel-teorio]]
[[it:Teoremi di incompletezza di Gödel]]
[[he:משפטי אי השלמות של גדל]]
[[hu:Gödel első nemteljességi tétele]]
[[nl:Onvolledigheidsstellingen van Gödel]]
[[ja:ゲーデルの不完全性定理]]
[[pl:Twierdzenie Gödla]]
[[pt:Teorema da incompletude de Gödel]]
[[ru:Теорема Гёделя о неполноте]]
[[sk:Gödelova veta o neúplnosti]]
[[fi:Gödelin epätäydellisyysteoreema]]
[[sv:Gödels ofullständighetsteorem]]
[[tr:Gödel'in Eksiklik Teoremi]]
[[th:ทฤษฎีบทความไม่สมบูรณ์ของเกอเดล]]
[[uk:Геделя теорема про неповноту]]
[[zh:哥德尔不完备定理]]
| |||