Kendine atıf yapmayan tam deyimler eksiklik teoreminin kapsamı dışında değerlendirilebilir mi? Yoksa tutarlılığın sağlandığı her durumda kaçınılmaz olarak mevcut mudur?
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.