I matematikk og logikk brukes til å beskrive metalogiske metoder som passer kriteriene for en effektiv prosedyre.