Sayı, sayma, ölçme ve etiketleme için kullanılan bir matematiksel nesnedir. En temel örnek, doğal sayılardır. Sayılar, sayı adı (numeral) ile dilde temsil edilebilir. Daha evrensel olarak, tekil sayılar rakam adı verilen sembollerle temsil edilebilir; örneğin, "5" beş sayısını temsil eden bir rakamdır. Yalnızca nispeten az sayıda sembolün ezberlenebilmesi nedeniyle, temel rakamlar genellikle bir rakam sisteminde organize edilir, bu da herhangi bir sayıyı temsil etmenin organize bir yoludur. En yaygın rakam sistemi Hint-Arap rakam sistemidir, bu sistem on temel sayısal sembol, yani rakam kullanılarak herhangi bir negatif olmayan tam sayının temsil edilmesine olanak tanır. Sayılar sayma ve ölçme dışında, etiketlerde, sıralamada ve kodlarda kullanılmak için de sıklıkla kullanılır. Yaygın kullanımda, bir rakam ile temsil ettiği sayı net bir şekilde ayrılmaz.
Matematikte reel sayılar kümesi, Fransızca réel “gerçek” den gelmektedir. Oranlı sayılar kümesinin evrim sürecinden elde edilen bir varsayım kombinasyonudur. Reel sayılar kümesi 
sembolüyle gösterilir.
Matematik'te aritmetiğin temel teoremi, aynı zamanda benzersiz çarpanlara ayırma teoremi ve asal çarpanlara ayırma teoremi olarak da adlandırılır, şunu belirtir: 1'den büyük her tamsayı, benzersiz bir şekilde asal sayıların üslerinin çarpımı olarak gösterilebilir.
Bir asal sayı, yalnızca 1'den büyük olup kendisinden küçük iki doğal sayının çarpımı olarak ifade edilemeyen bir doğal sayıdır. 1'den büyük ve asal olmayan doğal sayılara bileşik sayı adı verilir. Örneğin, 5 bir asal sayıdır çünkü onu bir çarpım olarak ifade etmenin mümkün olan yolları, 1 × 5 veya 5 × 1, yalnızca 5 sayısını içermektedir. Ancak, 4 bir bileşik sayıdır çünkü bu, her iki sayının da 4'ten küçük olduğu bir çarpım şeklindedir. Asal sayılar, aritmetiğin temel teoreminden ötürü sayı teorisi alanında merkezi öneme sahiptir: 1'den büyük her doğal sayı, ya bir asal sayıdır ya da asal sayıların çarpımı olarak, sıralamalarından bağımsız bir şekilde, benzersiz olarak çarpanlarına ayrılabilir.
Parite, matematikte herhangi bir tam sayının çift ya da tek olması durumudur. Çift sayılar, 2 ile kalansız bölünebilen sayılardır. Tek sayılar ise 2 ile kalansız bölünemeyen sayılardır. Örneğin onluk sistemde 4 ve 8 rakamlarının her ikisi de çift olduğu için "aynı pariteye sahip" kabul edilirler.
- ▪ Çift doğal sayılar: 0, 2, 4, 6, 8,...
- ▪ Tek doğal sayılar: 1, 3, 5, 7, 9,...
- ▪ 2n = 0 eşitliğini sağlayan bir tam sayı mevcuttur: 2 × 0 = 0.
- ▪ 2n + 1 = 0 eşitliğini sağlayacak bir n tam sayısı yoktur.
- ▪ Birden fazla basamaklı sayıların birler basamağında 0'ın olması, bu sayıların asal çarpanları arasında 2 ve 5'in olduğunu, dolayısıyla çift sayı olduklarını gösterir.
Matematikte, sıfır olmayan iki veya daha fazla pozitif tam sayının en büyük ortak böleni, tam sayıların hepsini de bölen en büyük pozitif tam sayıdır. Örneğin; 8 ve 12’nin ebob’u 4’tür.
Totient sayılar teorisinde, bir tam sayının o sayıdan daha küçük ve o sayı ile aralarında asal olan sayma sayı sayısını belirten fonksiyondur. Genellikle Euler Totient ya da Euler'in Totienti olarak adlandırılan Totient, İsviçreli matematikçi Leonhard Euler tarafından yaratılmıştır. Totient fonksiyonu, Yunan harflerinden 
ile simgelendiği için Fi fonksiyonu olarak da anılabilir.
Asal çarpan, bir sayının asal olan çarpanlarına denir. Örnek olarak 72 sayısının asal çarpanları 2 ve 3'ken (23∙32), 4, 6, 8, 9, 12, 18, 24, 36, 72 asal çarpan değildir. Aritmetiğin temel teoremine göre bütün bileşik sayılar, asal çarpanların çarpımı olarak yazılabilmektedir. Asal çarpanlardan her biri birden fazla kullanılabilir. Mesela
Faktöriyel, matematikte, sağına ünlem işareti konulmuş sayıya verilen isim, daha genel olan Gama fonksiyonunun tam sayılarla sınırlanmış özel bir durumudur. Bu sınırlamanın nedeni gerçek veya reel sayılarda bu hesabın imkansız oluşudur. 1'den başlayarak belirli bir sayma sayısına kadar olan sayıların çarpımına o sayının faktöriyeli denir. Basit bir şekilde faktöriyel, n tane ayrık elemanın kaç farklı şekilde sıralanabileceğidir.
Üs, bazen kuvvet, b taban, n üs veya kuvvet olmak üzere, bn olarak gösterilen ve "b üssü n", "b üzeri n" veya "b'nin n'inci kuvveti" olarak telaffuz edilen matematiksel işlem. Eğer n pozitif bir tam sayıysa, tabanın tekrarlanan çarpımına karşılık gelir:
Cisim, halka ve grup gibi soyut bir cebirsel yapıdır. Kabaca, elemanları arasında toplama, çıkarma, çarpma ve bölme yapılabilen ve bu işlemlerde sayılardan alışık olduğumuz temel aritmetik kurallarının geçerli olduğu bir küme olarak tanımlanabilir.
7 ile bölünebilme, bir doğal sayının 7'ye kalansız olarak bölünebilmesidir.
Kesir, bir birimin bölündüğü parçalardan birinin veya birkaçının bütüne oranını ifade eden sayı. Kesir kavramı, ondalık sayılardan ve yüzdelerden ayırmak amacıyla sıklıkla sadece "bayağı kesirleri" tanımlamak için kullanılır.
Aralarında asal matematikte sayılar teorisinde kullanılan bir terimdir.
Sayı teorisinde, asal çarpanlara ayırma bir bileşik sayının, çarpıldıklarında yine aynı sayıyı verecek şekilde, bir ve kendisi dışındaki bölenlerine ayrılmasıdır.
Çarpanlara ayırma, bir polinomun, tam sayının ya da matrisin kendisini oluşturan bileşenlerin çarpımı şeklinde yazılmasıdır. Örneğin 15 sayısı 3 ve 5 asal sayılarının çarpımı şeklinde yazılabilir: 3 × 5 ya da x2 − 4 polinomu (x − 2)(x + 2) şeklinde yazılabilir.
Primoriyel, matematikte ve bilhassa sayı teorisinde doğal sayılardan doğal sayılara tanımlanmış faktöriyele benzer şekilde art arda pozitif tam sayıları çarpacağı yerde sadece asal sayıları çarpar.
Doğal sayı olan 1729, 1728'den sonra gelir ve 1730'un önünde yer almaktadır. Bu bir taksi sayıdır ve İngiliz matematikçi G. H. Hardy'nin hastanede Hint matematikçi Srinivasa Ramanujan'ı ziyaret ettiği anekdotundan sonra çeşitli şekillerde Ramanujan sayısı ve Ramanujan-Hardy sayısı olarak da bilinir.
