Θεωρήματα μη πληρότητας του Γκέντελ: Διαφορά μεταξύ των αναθεωρήσεων

Στη [[μαθηματική λογική]], τα '''θεωρήματα μη πληρότητας του Γκέντελ''', τα οποία αποδείχτηκαν από τον [[Κουρτ Γκέντελ]] (''Kurt Gödel'') το 1931, είναι δύο [[Θεώρημα|θεωρήματα]] που υποδεικνύουν έμφυτους περιορισμούς σε όλα τα (πλην των τετριμμένων) [[Τυπικό σύστημα|τυπικά συστήματα]] των μαθηματικών. Τα θεωρήματα είναι πολύ σημαντικά για τη [[φιλοσοφία των μαθηματικών]]. Ερμηνεύονται γενικά ως μια απόδειξη πως το [[πρόγραμμα του Χίλμπερτ]] να βρεθεί ένα πλήρες και συνεπές σύνολο από [[Αξίωμα|αξιώματα]] για όλα τα [[μαθηματικά]] είναι αδύνατο, δίνοντας έτσι αρνητική απάντηση στο [[δεύτερο πρόβλημα του Χίλμπερτ]].