المبرهنة الأساسية في الحسابيات تنص على أن كل عدد صحيح طبيعي غير منعدم يُمثّل كجداء لأعداد أولية، وأن هذا التمثيل فريد حتى تردي ترتيب العوامل؛ يُكتب كل n كـ n = p1^{α١} p2^{α٢} ⋯ pk^{αk} حيث p_i أعداد أولية وα_i موجبة صحيحة، وهذا يعبر عن الوجود والوحدانية لتمثيل الأعداد الصحيحة الموجبة.
