The program of reverse mathematics uses these subsystems to measure the noncomputability inherent in well known mathematical theorems.
Programul matematicii inverse utilizează aceste subsisteme pentru a măsura necalculabilitatea inerentă a unor teoreme matematice bine cunoscute.