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.
Goldbach hipotezi ya da Goldbach sayısı, sayılar teorisindeki ve tüm matematikteki en eski ve en çok bilinen çözülmemiş problemlerden biridir. Hipotezde:
- 2'den büyük her çift tam sayı, iki asalın toplamı olarak ifade edilebilir.
Tam sayılar, sayılar kümesinde yer alan sıfır (0), pozitif yönde yer alan doğal sayılar ve bunların negatif değerlerinden oluşan negatif sayılardan oluşan sayı kümesidir.
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.
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.
İkiz asallar, aralarındaki fark 2 olan asal sayılar. Örneğin 3-5, 5-7, 11-13 ikiz asallardır. 2-3 çifti hariç iki asal sayı arasındaki fark da zaten en az 2 olabilir.
2 (iki) bir sayı, rakam ve gliftir. 1'den sonraki ve 3'ten önceki doğal sayıdır. En küçük ve hatta yegâne çift asal sayıdır. Bir dualitenin temelini oluşturduğundan, birçok kültürde dini ve manevi öneme sahiptir.
13 sayısı, özellikle Hristiyanlık inancı tarafından uğursuz olarak kabul edilmiştir. 13 sayısı, 12'den sonraki ve 14'ten önceki bir tek tam sayıdır.
Bileşik sayı, en az iki asal sayının çarpımı olarak yazılabilen pozitif tam sayıdır.
- Tanım olarak, 1'den büyük her tam sayı ya asal ya da bileşik sayıdır..
- 0 ve 1 ne bileşik, ne de asal sayılardır.
- Örnek olarak, 14 bir bileşik sayıdır çünkü:
- 14 = 1 x 14 = 2 x 7.
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.
Bir milyon (1.000.000), 999.999'u takip eden ve 1.000.001'den önce gelen doğal sayıdır. Bin kez bin, yüz tümen veya on yük olarak da ifade edilebilir. Milyonun eş anlamlısı pekmen sözcüğüdür. Hint İngilizcesi ve Pakistan İngilizcesinde de 10 lakh olarak ifade edilir. Lakh, Sanskritçede 100.000 lakṣa türetilmiştir.
Googolplex, 
sayısına verilen isimdir.
Dizi, bir sıralı listedir. Bir küme gibi, ögelerden oluşur. Sıralı ögelerin sayısına dizinin uzunluğu denir. Kümenin aksine sıralı ve aynı ögeler dizide farklı konumlarda birkaç kez bulunabilir. Tam olarak bir dizi, tanım kümesi sayılabilen toplam sıralı kümelerden oluşan bir fonksiyon olarak tanımlanabilir. Örneğin doğal sayılar gibi. Diziler bu örnekte olduğu gibi sonlu olabilir. Ya da tüm çift pozitif tam sayılar gibi sonsuz olabilir.
abc sanısı veya abc konjektürü sayılar teorisindeki bir sanı yani konjektürdür. 1985'te Joseph Oesterlé ve David Masser tarafından ortaya atılmıştır. Biri diğer ikisinin toplamı şeklinde ifade edilen üç tam sayının özellikleri üzerine kurulmuştur. Problemi çözmek için açık bir strateji bulunmadığı halde, sanı bazı ilginç sonuçları sayesinde tanınmıştır.
Matematikte, birkaç fonksiyon ya da fonksiyon gruplarının kendi isimleri yeterli öneme layıktır. Bu makaleler fonksiyonları açıklamak için olan daha ayrıntılı olarak gösteren bir listedir. İstatistik dışı ve matematiksel fizik gelişmeleri sonucu özel fonksiyonlar büyük bir teori olmuştur. Modern bir, soyut incelik fonksiyon uzayıları geniş karşılaştırma görünümü, sonsuz-boyutlu ve 'isimsiz' fonksiyonlar içindeki ve simetri ya da ilişki harmonik analiz ve grup temsilileri gibi özellikler ile özel fonksiyonlar ile seçilmiştir.
Palindromik sayı, iki taraftan okunduğu zaman okunuş yönüyle aynı olan sayılardı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.
Eğlence matematiğinde Harshad sayı rakamları toplamına tam bölünebilen tam sayılara denir. Harshad özelliğini sağlayan sayma tabanına n dersek sayılar n-Harshad veya n-Niven olarak da söylenirler. Hindistanlı matematikçi D. R. Kaprekar tarafından tanımlanmışlardır. "Harshad" kelimesi Sanskritçe harṣa (eğlence) + + da (vermek), kelimelerinin bileşiminden "eğlenceli" anlamındadır. Niven sayı tabiri ise Ivan M. Niven tarafından 1977'de sayma teorisi ile ilgili yayınlanmış olan makaleye dayandırılmıştır.
Mersenne sayıları, matematikte ikinin kuvvetlerinin bir eksiği şeklinde olan sayılardır ve n>1 doğal sayısı için Mn = 2n − 1 şeklinde hesaplanır. Adını Fransız matematikçi, filozof, keşiş ve müzik teorisyeni ve "akustiğin babası" olarak bilinen Marin Mersenne'den almıştır. Marin Mersenne 17. yüzyılın başlarında bu sayılar üzerinde çalışmıştır.
Bu, rekreasyonel sayılar teorisi konularının bir listesidir. Buradaki liste aşağılayıcı değildir: Sayı teorisindeki birçok ünlü konunun kökeni, tamamen kendileri için ortaya çıkan problemlere meydan okur.
