Kendine atıf yapmayan deyimler ile ne demek istediğini anlayamadım. Eksiklik Teoremi, bize; şu anki aksiyomatik sistemlerimizin tutarlı olup olmadıkları hakkında bir şey söyleyemeyeceğimizi söyler. Mesela, Geometrik aksiyomların ve reel sayı aksiyomlarının çeliştiğini veya tutarlı olduklarını kanıtlayamazsın.
123 görüntülenme