Συζήτηση:Θεωρήματα μη πληρότητας του Γκέντελ
Appearance
Άλλες συζητήσεις [κατάλογος]
Συγνώμη στο μεταφραστή, αλλα η απόδειξη στο αγγλικό κείμενο ήταν πολύ γενικόλογη.
Λυδία 21:00, 23 Νοεμβρίου 2009 (UTC)
πρακτικά[επεξεργασία κώδικα]
Πρακτικά μας λέει ότι μια αξιωματική θεωρία δεν μπορεί να έχει ως θεώρημα την πρόταση «η είναι συνεπής».
Μόνο μια διαφορετική θεωρία μπορεί να έχει ως θεώρημα την πρόταση περί συνέπειας της . Πχ, η συνέπεια της αριθμητικής-Πεάνο μπορεί να αποδειχθεί στη συνολοθεωρία Τσερμέλο-Φρένκελ. Η συνέπεια της αριθμητικής-Πεάνο δεν μπορεί να αποδειχθεί εντός της ίδιας της αριθμητικής-Πεάνο.--vanakaris 18:14, 25 Απριλίου 2010 (UTC)