来自专业的译者、企业、网页和免费的翻译库。
• uma consequência fácil do teorema da incompletude de gödel é que nem mesmo há extensão completa e consistente da aritmética de peano com um conjunto numérico recursivo de axiomas, então de modo particular as mais interessantes teorias matemáticas não estão completas.
*an easy consequence of gödel's incompleteness theorem is that there is no complete consistent extension of even peano arithmetic with a recursively enumerable set of axioms, so in particular most interesting mathematical theories are not complete.
e, aqui, não falamos de um indivíduo ou de um conjunto numerável, pois essas abordagens apenas possibilitam ver o organismo do motorista.
and, here, we do not mean an individual or a countable set, since these approaches would only allow us to see the driver's organism.