Aquí hay una cita de "Axiom and Generalizing Deduction" de Nicod , página 180.