Más bien, es uno de los mecanismos aceptados para la construcción de pruebas deductivas que incluye la "regla de definición" y la "regla de sustitución".