Réalisées par des traducteurs professionnels, des entreprises, des pages web ou traductions disponibles gratuitement.
) a consequence of gödel's two incompleteness theorems is that in any mathematical system that includes peano arithmetic (including all of analysis and geometry), truth necessarily outruns proof, i.e.
) gödel ‘in iki eksiklik teorisinin bir sonucu şudur ki, peano aritmetiği içeren herhangi bir matematiksel sistemde (tüm analiz ve geometri dahil olmak üzere) doğruluk mutlaka ispatı geçer (yani sistem içinde ispat edilemeyen doğru ifadeler vardır).
