اصلی
cardinal
Hartogs number
عدد هارتوکس