«La verificación de las proposiciones consiste en someterlas a prueba para comprobar su coherencia y su verdad, la que a menudo resulta ser solo aproximada.