Las ciencias formales de nuestros días son el resultado del desenvolvimiento no sólo de la matemática sino también de la lógica. Los puntos comunes de tales áreas del conocimiento, definen la filosofía analítica actual y sobre todo limitan los nuevos alcances de la ciencia de la lógica. La figura de Kurt Gödel moldeó de manera radical la relación formal entre trivialidad e inconsistencia, y con sus Teoremas de Completud, edificó una visión de las ciencias formales que sería capaz de definir una época. Actualmente, los lógicos contemporáneos tales como Priest y Da Costa se han aventurado a hacer una interpretación de tal construcción y a proponer una forma diferente de entender la lógica formal y sus conceptos básicos. Este libro es una herramienta para aquellos que buscan situarse en los encuentros y desencuentros de la tradición y la lógica contemporánea, así como para todo aquel que desee saber más sobre la relación entre trivialidad e inconsistencia dentro de las lógicas paraconsistentes.