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.

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.

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.

Georg Cantor'un doğal sayılar ile reel sayıların birebir eşlemesinin yapılamayacağını göstermek için geliştirdiği yöntem. Böyle bir eşlemenin yokluğu sonsuz elemanlı kümelerin büyüklüklerinin karşılaştırılması kavramının gelişimi açısından son derece önemlidir.

Aritmetik; matematiğin sayılar arasındaki ilişkiler ile sayıların problem çözmede kullanımı ile ilgilenen dalı. Aritmetik kavramı ile genellikle sayılar teorisi, ölçme ve hesaplama kastedilir. Bununla birlikte bazı matematikçiler daha karmaşık çeşitli işlemleri de aritmetik başlığı altında değerlendirirler.
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.

Rakam, sayıları yazılı olarak göstermeye yarayan sembollerden her biri. Pek çok dil ve kültürde kullanılan Arap kökenli rakamlar şunlardı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.
7 ile bölünebilme, bir doğal sayının 7'ye kalansız olarak bölünebilmesidir.

Cebirde bir sayının karesi o sayının kendisiyle çarpılması sonucu elde edilen sayıdır. Karesi alınan x sayısı x² biçiminde yazılır.
Tam kare karekökü bir doğal sayı olan tam sayılara denir. Diğer bir deyişle, kendiyle çarpılan doğal sayıların sonucu tam karedir. 0, 1, 4, 9, 16, 25, 36, 49... ilk tam karelere örnektir.

Bir ikili sayının ikiye tümlenmesi, kendisinden büyük ve 2'nin tam sayı üssü olan en küçük tam sayıdan çıkarılması ile gerçekleştirilir. Elde edilen sayının ikili sayı aritmetiğinde orijinal sayının eksi işaretlisi olarak davranması nedeniyle, tam sayı değerleri bilgisayarda temsil etmek için kullanılan ikinin tümleyeni gösterimi bu işlemi temel almıştır. -1 ile çarpmanın ikinin tümleyeni kullanılarak gerçekleştirildiği bu gösterime göre oluşturulmuş sayıların değerleri aşağıdaki formül kullanılarak hesaplanabilir.

BCD kodu, bilgisayar ve elektronik sistemlerinde onluk tabandaki (decimal) sayıların ikilik tabana (binary) dönüştürülmesi için kullanılan sayısal kodlama metodudur. Bu dönüştürme işlemi yapılırken öncelikle sayının her bir basamağı tek tek ikilik tabana çevrilir ve ardından her basamağın karşılık geldiği binary değerler sırasıyla birleştirilerek sayının BCD Kodu ile gösterimi elde edilir.

Sayısal sistem, sayıları temsil eden simgeler için bir yazma sistemi yani matematiksel bir gösterim sistemidir.

Ç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.

Temel aritmetik, aritmetiğin en basit kısmıdır ve toplama, çıkarma, çarpma, bölme gibi işlemlerden oluşur.
Basamak veya hane, matematikte bir sayıyı oluşturan rakamlardan her birinin o sayı içerisindeki konumunu ifade eder.

Matematikte ikinin kuvveti, n bir tam sayı iken 2n şeklinde gösterilebilen sayıdır. Bu üslü sayıda 2 taban, n ise üstür.

Onlu sayı sistemi, tam sayı olan ve olmayan sayıları belirtmek için kullanılan ve Hint-Arap sayı sistemini referans alan on tabanlı sayı sistemidir. Sistem, Hindistan'dan Arap yarımadasına oradan da İslam Devletleri'nin genişlemesine paralel olarak Kuzey Afrika ve Endülüs üzerinden Avrupa'ya ulaşmıştır. Sıfır da dahil olmak üzere onluk sistemle ilgili işlemlerin eski Hint âlimi Brahmagupta'nın astronomi ile ilgili 632'de yazılan Siddhanta adlı eserinde gösterildiği bilinmektedir. 830 yılında el-Hârizmî onluk sistem ile ilgili işlemlerin nasıl yapılacağını gösteren bir kitap yazmıştır. Kendisi Bicâye'de yetişmiş olan ünlü matematikçi Fibonacci 1202 de yayınladığı Liber Abaci adlı eserinde bu sistemi Avrupa'ya tanıtmıştır. Şu anda dünya üzerinde en çok kullanılan sayı sistemidir.