Sayma sayıları, 1'den başlayarak sonsuza kadar olan tam sayılar kümesine verilen isimdir. Başka bir deyişle pozitif (+) doğal sayılar kümesi olarak da tanımlanabilir. Bu tanım, sıfır doğal sayı olarak kabul edildiğinde doğal sayılar kümesinden farklılık gösterir. Bu sayıları bazı nesneleri saymak ve sayısını belirlemek için kullanırız. (bakınız: Peano aksiyomları). Sayma sayıları 
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, 
Matematiksel tümevarım bir önermenin, genellikle tüm doğal sayılar için ya da bazen sonsuz bir sıranın tüm elemanları için, doğru olduğunu göstermek üzere kullanılan bir matematiksel kanıtlama yöntemidir. Matematiksel mantık ve bilgisayar bilimlerinde kullanılan daha genel bir tanıtlama biçimi değerlendirilebilen (hesaplanabilen) ifadelerin denk olduğunu gösterir. Buna yapısal tümevarım denir.
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 
Süreklilik hipotezine göre bütün sonsuzların eşit olması mümkün değildir. 19. yüzyılın sonunda Alman matematikçi Georg Cantor'un ispatından beri gerçek sayılar kümesinin eleman sayısının, doğal sayılar kümesinin eleman sayısından fazla olduğu bilinmektedir. Bu, gerçek sayılar kümesinin eleman sayısının doğal sayıların alt kümelerinin sayısına eşit olduğu anlamına gelir. Genelde 
Sayılabilirlik, bir kümedeki eleman sayısıyla doğal sayılar arasında birebir eşleme kurulabilme durumu.
Topolojik uzaylar, matematiğin Topoloji dalının başlıca uğraş konularıdır. Bir X kümesi ve bu kümenin alt kümelerinin bir kısmını içeren ve aşağıdaki varsayımları sağlayan S kümesinden oluşurlar:
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.
Peano aksiyomları, doğal sayılar kümesinin tanımını vermekte kullanılan, Giuseppe Peano ve Julius Wilhelm Richard Dedekind tarafından ortaya konmuş dört temel ve bir yardımcı aksiyomdur. Bu aksiyomlar:
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:
Kombinasyon, bir nesne grubu içerisinden sıra gözetmeksizin yapılan seçimlerdir. Nesne grubunun tekabül ettiği kümenin alt kümeleri olarak da tanımlanabilir. Çünkü alt kümelerde sıra önemli değildir.
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.
Matematikte, kardinal sayılar ya da nicel sayılar, kısaca kardinaller; bir kümenin kardinalitesi ya da nicesi olarak bilinen büyüklüğünü göstermek için kullanılan sayılardır. Sonlu kümelerde kardinalite, kümenin öğe sayısını gösteren doğal bir sayıdır. Sonsuz kümelerin öğe sayısını tanımlamak için transfinite kardinal sayılar vardır.
Küme, matematikte farklı nesnelerin topluluğu veya yığını olarak tanımlanmaktadır. Bu tanımdaki "nesne" soyut ya da somut bir şeydir. Fakat her ne olursa olsun iyi tanımlanmış olan bir şeyi, bir eşyayı ifade etmektedir. Örneğin, "Tüm canlılar topluluğu", "Dilimiz alfabesindeki harflerin topluluğu", "Masamın üzerindeki tüm kâğıtlar" tümcelerindeki nesnelerin anlaşılabilir, belirgin oldukları, kısaca iyi tanımlı oldukları açıkça ifade edilmektedir. Dolayısıyla bu tümcelerin her biri bir kümeyi tarif etmektedir. O halde, matematikte "İyi tanımlı nesnelerin topluluğuna küme denir." biçiminde bir tanımlama yapılmaktadır.
Sonsuz, eski Yunanca Lemniscate kelimesinden gelmektedir, çoğunlukla matematik ve fizikte herhangi bir sonu olmayan şeyleri ve sayıları tarif etmekte kullanılan soyut bir kavramdır.
Sayılar teorisinde Liouville sayıları, rasyonel sayılara sonsuz küçük yakınlıkta irrasyonel sayılardır. Bir Liouville sayısının her komşuluğunda bir rasyonel sayı vardır. Şu şekilde formüle edilebilir:
bir Liouville sayısı olsun. O zaman her 
sayma sayısı için öyle bir tam sayı 
ve sayma sayısı 
vardır ki, 
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.
Alef sayıları, matematikte, daha ayrıntılı söylemek gerekirse kümeler teorisinde, iyi sıralı olabilen sonsuz kümelerin kardinalitesini göstermek için kullanılan sayılardır. Alef sayısı ismini sembolünden, İbranice alef harfinden alır. Bazı eski matematik kitaplarında yanlışlıkla alef sembolü ters basılmıştır.
Matematiksel analizde, küme üzerindeki bir ölçü, bu kümenin her bir uygun alt kümesine bir sayı atamanın sistematik bir yoludur ve sezgisel olarak kümenin boyutu olarak yorumlanır. Bu anlamda ölçü, uzunluk, alan ve hacim kavramlarının bir genellemesidir. Özellikle önemli bir örnek, Öklid geometrisinin geleneksel uzunluğunu, alanını ve hacmini n-boyutlu Öklid uzayının Rn uygun alt kümelerine atayan bir Öklid uzayındaki Lebesgue ölçüsüdür. Örneğin, gerçek sayılardaki [0, 1] aralığının Lebesgue ölçüsü, kelimenin günlük anlamındaki uzunluğudur ve tam olarak 1'dir.