Las ciencias formales de nuestros dias son el resultado del desenvolvimiento no solo de la matematica sino tambien de la logica. Los puntos comunes de tales areas del conocimiento, definen la filosofia analitica actual y sobre todo limitan los nuevos alcances de la ciencia de la logica. La figura de Kurt Godel moldeo de manera radical la relacion formal entre trivialidad e inconsistencia, y con sus Teoremas de Completud, edifico una vision de las ciencias formales que seria capaz de definir una epoca. Actualmente, los logicos contemporaneos tales como Priest y Da Costa se han aventurado a...