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.
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.
Doğal sayılar, 
şeklinde sıralanan tam sayılardır ve kimi tanımlamalara göre 0 sayısı da bu kümeye dâhil edilebilir. Aralarında standart ISO 80000-2'nin de bulunduğu bazı tanımlar doğal sayıları 0 ile başlatır ve bu durum negatif olmayan tam sayılar için 0, 1, 2, 3, ... şeklinde bir karşılık bulurken, bazı tanımlamalar 1 ile başlamakta ve bu da pozitif tam sayılar için 1, 2, 3, ... şeklinde bir eşlenik oluşturur. Doğal sayıları sıfır olmadan ele alan metinlerde, sıfırın da dahil edildiği doğal sayılar bazen tam sayılar olarak adlandırılırken diğer bazı metinlerde bu terim, negatif tam sayılar da dahil olmak üzere tam sayılar için kullanılmaktadır. Özellikle ilkokul seviyesindeki eğitimde, doğal sayılar, negatif tam sayıları ve sıfırı dışlamak ve saymanın ayrık yapısını, gerçek sayıların bir karakteristiği olan ölçümün sürekliliğiyle karşıtlık oluşturmak amacıyla sayma sayıları olarak adlandırılabilir.
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.
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.
Matematikte, Eratosthenes kalburu belirli bir tam sayıya kadar yer alan asal sayıların bulunması için kullanılan bir yöntemdir. Daha hızlı ve karmaşık olan Atkin kalburunun atası sayılır. Antik Yunanistan'da Eratosten tarafından geliştirilmiştir.
Bölme, aritmetiğin temelini oluşturan dört ana işlemden biri olarak kabul edilir. Diğer üç ana işlem ise toplama, çıkarma ve çarpma olarak sıralanır. İşlem sırasında bölünen miktar bölünen olarak adlandırılırken, bu miktarın bölündüğü sayıya bölen denir ve işlemin sonucunda elde edilen değer bölüm olarak tanımlanır.
Matematiğin kombinatorik dalında, the ninci Bell sayısı, n eleman'lı bir küme'nin parçalanış sayısını verir veya eşdeğeri, benzerlik ilişkisi'dir. B0 = B1 = 1 ile başlar, ilk birkaç Bell sayısı şunlardır:
- 1, 1, 2, 5, 15, 52, 203, 877, 4140, 21147, 115975, ….
21, bir sayı. Doğal sayı sisteminde 22'den önce yer alır ve 20'den sonra gelir.
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.
Ortak kat, birden fazla pozitif tam sayılar arasında ortak olan katlara verilen addır.
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.
Bu, Wikipedia'da yer alan sayı teorisi konularıyla ilgili sayfaların bir listesidir.
Möbius fonksiyonu 
, 1832 yılında Alman matematikçi August Ferdinand Möbius tarafından ortaya atılan çarpımsal bir fonksiyondur. Temel ve analitik sayılar teorisi'nde çoğunlukla kullanılan fonksiyon, genellikle Möbius inversiyon formülü'nün bir parçası olarak görülür. Gian-Carlo Rota'nın 1960'lı yıllardaki çalışmaları sonucunda ile gösterilen Möbius fonksiyonunun genellemeleri kombinatoriğe tanıtılmıştır.
Sayı teorisinde, yüce sayı, kendisi de dahil olmak üzere, pozitif tam sayı olan ve pozitif bölenleri (faktörleri) için mükemmel bir sayıya sahip olan, ayrıca pozitif bölenlerinin toplamı başka bir mükemmel sayıya eşit olan pozitif bir tam sayıdır.
