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.
Riemann hipotezi, matematik alanında ilk kez 1859 yılında Bernhard Riemann tarafından ifade edilmiş ve henüz çözülmemiş bir problemdir.
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.
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.
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.
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.
Mükemmel sayı, sayılar teorisinde, kendisi hariç pozitif tam bölenlerinin toplamı kendisine eşit olan sayı. Diğer bir ifadeyle, bir mükemmel sayı, bütün pozitif tam bölenlerinin toplamının yarısına eşittir.
Hamming sayıları ilk kez Richard Hamming tarafından tanımlanmış bir sayı dizisidir. Bunlar pozitif tam sayılar olup çarpanları sadece 2, 3 ve 5'in kuvvetleridir. İlk birkaç Hamming sayısı şunlardır: 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 15, 16, ... Hamming sayıları k-düzgün sayıları denen sayılar kategorisinin bir özel halidir. Bu tür sayıların kdan büyük asal çarpanı yoktur. Dolayısı ile Hamming sayıları da 5-düzgün sayılardır. Hamming sayılarını artan sırada hesaplama algoritmaları Edsger Dijkstra tarafından yaygınlaştırılmıştır.
Aralarında asal matematikte sayılar teorisinde kullanılan bir terimdir.
Ç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.
Sayı kuramında yarı asal sayılar, iki tane asal sayının çarpımı şeklinde yazılabilen pozitif tam sayılardır. Dolayısıyla ya bir asal sayının karesidirler ya da dört tane farklı pozitif bölene sahiptirler. Buna bağlı olarak, dört tane pozitif bölene sahip her sayı yarı asal olmak zorunda değildir. Bir asal sayının karesi olmayan asal sayılara ayrık asal sayılar denir. Bir yarı asal sayı n için Ω(n) tanım gereği ikiye eşittir. Yarı asallar RSA gibi kriptografi sistemlerinde kullanılı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.
Smirnili Theon, asal sayıların, kareler gibi geometrik sayıların, devamlılığın/sürekliliğin, müziğin ve astronominin birbiriyle nasıl ilişkili olduğunu tanımlayan bir Yunan filozofu ve matematikçiydi. Çalışmaları Pisagor düşünce okulundan güçlü bir şekilde etkilenmiştir. Hayatta kalan Platon'u Anlamak İçin Yararlı Matematik Üzerine Yunan matematiği'ne giriş niteliğindeki bir araştırmasıdır.
Bu, Wikipedia'da yer alan sayı teorisi konularıyla ilgili sayfaların bir listesidir.
Sayılar teorisinde şanslı sayılar, belli bir kalbur tarafından üretilen bir sayı dizisidir. Bu kalbur, asal sayıları üreten Eratosten kalburu ile benzerlik gösterir. Bununla birlikte, Eratosten kalburunda sayılar başlangıçtaki konumlarına göre silinirken bu kalburda sayılar, belli bir aşamada geriye kalan sayıların arasındaki konumlarına göre silinir.
