Diferenzas entre revisións de «Teorema da incompletude de Gödel»

m
Robot: Reemplazo automático de texto (-conceito +concepto)
m (Robot: Reemplazo automático de texto (-conceito +concepto))
==Primeiro teorema==
O primeiro [[teorema]] da incompletitude, un dos mais loubados resultados da lóxica matemática, afirma dunha forma simplificada:
:''En calquer formalismo matemático consistente suficientemente robusto para definir os conceitosconceptos de [[números naturais]] (da [[aritmética]]), existirá a posibilidade de formar unha afirmación indecidible, ou sexa, que non poida ser demostrada como verdadeira ou falsa.''
 
Dun xeito mais formal, Gödel postulouno inicialmente como:
505

edicións