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

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