setoids are studied especially in proof theory and in type theoretic foundations of mathematics uzajya uhinduka bitewe n'uko icyo umuntu akora cyahindutse azaguteza indwara zose zo muri egiputa wabonye ukagira ubwoba