Oración 1: asimismo, aparece Kurt Gödel (1906 - 1978), quien logró demostrar en su tesis doctoral el Teorema de las proposiciones indecidibles, más conocidos como teorema de incompletud de Gödel
Oración 2: estos teoremas apuntaban a Objeto virtual de aprendizaje para el desarrollo del pensamiento lógico matemático a través del ajedrez los principios de la aritmética de Peano, encontrando enunciados indecidibles, los cuales también se han encontrado en otros teoremas como los de la geometría euclídea
Conector: en especial,
Relación: entailment
Género: books