El sistema enfatiza las pruebas, en vez de la verdad, a lo largo de las transformaciones de las proposiciones.