Yazeka
Arama sonuçlarına göre oluşturuldu
Gödel, iki önemli teoremi kanıtlamıştır:
- Eksiklik Teoremi: Herhangi yeterince güçlü ve tutarlı bir matematiksel sistemin, içinde ispatlanamayan ama doğru olan önermelere sahip olacağını söyler 13. Bu, matematiğin kendi içinde "tam" olamayacağını gösterir 1.
- Kendi Tutarlılığını İspatlama İmkansızlığı: Bir sistemin kendi tutarlılığını, o sistemin içinden çıkıp dışarıdan ispatlamanın gerekli olduğunu ortaya koymuştur 1.
5 kaynaktan alınan bilgiyle göre: