One method of classifying the strength of these weak systems is by characterizing which computable functions the system can prove to be total (see Fairtlough and Wainer (1998)).
O metodă de clasificare a puterii acestor sisteme slabe este prin caracterizatarea funcțiilor calculabile pe care sistemul le poate demonstra că sunt totale⁠(d) (a se vedea Fairtlough și Wainer (1998)).