"Este material se denomina La teoría de tipos lógicos como austeridad ontológica pues se considera que las ideas que ha generado la propuesta teórica del filósofo y matemático ingles Bertrand Russell, han sido determinantes ...