The Blum axioms can be used to define an abstract computational complexity theory on the set of computable functions.
Os axiomas de Blum poden ser usados para definir unha teoría de complexidade computacional abstracta sobre o conxunto de funcións computábeis.