1:16: "Nesse artigo ele provou que em qualquer sistema axiomático: Se o sistema é consistente, não pode ser completo."
Falso. Não é qualquer sistema axiomático. A teoria dos grupos, por exemplo, pode ser completa, mesmo sendo consistente, pois não é uma extensão da aritmética de Peano.
1:16: "Nesse artigo ele provou que em qualquer sistema axiomático: Se o sistema é consistente, não pode ser completo."
Falso. Não é qualquer sistema axiomático. A teoria dos grupos, por exemplo, pode ser completa, mesmo sendo consistente, pois não é uma extensão da aritmética de Peano.
cegonoescuro 1 year ago