The fact that certain sets are computable or relatively computable often implies that these sets can be defined in weak subsystems of second order arithmetic.
Faptul că anumite mulțimi sunt calculabile sau relativ calculabile implică de multe ori faptul că aceste mulțimi pot fi definite în subsisteme slabe ale aritmeticii de ordinul al doilea.