El segundo tipo de demostraciones matemáticas tiene certeza absoluta; es una lastima que no sea tan cierto -aunque es aproximadamente cierto- acerca de que es esa certeza.