Θεωρήματα μη πληρότητας του Γκέντελ: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ Ρομπότ: Προσθήκη: no:Ufullstendighetsteoremet |
|||
Γραμμή 139:
[[ko:불완전성 정리]]
[[nl:Onvolledigheidsstellingen van Gödel]]
[[no:Ufullstendighetsteoremet]]
[[nov:Teoreme de Gödel]]
[[pl:Twierdzenie Gödla]]
| |||