رياضيات, علوم الحاسوب, منطق رياضي, نظرية المجموعات

مُبرهنة هيغمان (Higman’s Lemma)