أعداد أليف مجموعة من الرموز تُستعمل في نظرية المجموعات لتمييز المقاسات أو الأصليات للمجموعات اللانهائية القابلة للترتيب الجيد، تبدأ بأليف-صفر aleph_0 للأعداد الطبيعية، وتطرح أليف_α لكل رتبة ترتيبية α، مما يبيّن أصليات لا نهائية متعاقبة تختلف عن رمز اللانهاية ∞.
