PONTIFÍCIA UNIVERSIDADE CATÓLICA DE SÃO PAULO – PUC SP RODRIGO REIS RIBEIRO BASTOS Fundamentos para informatização do direito. A possível influência dos teoremas da incompletude de Kurt Gödel na construção da norma hipotética fundamental de Hans Kelsen DOUTORADO EM DIREITO SÃO PAULO 2016