A partir de tradutores profissionais, empresas, páginas da web e repositórios de traduções disponíveis gratuitamente
) 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).
