Bu madde henüz onaylanmamıştır.
Doğal sayılar, saymak ve sıralamak amacıyla kullanılan 1, 2, 3, 4, … biçiminde devam eden pozitif tam sayılar kümesidir. Bu sayılar, insanlığın en erken matematiksel buluşları arasında yer almakta ve günlük yaşamdan ileri matematik araştırmalarına kadar geniş bir kullanım alanına sahip bulunmaktadır. Matematikte doğal sayılar kümesi, kalın N harfiyle ya da ℕ simgesiyle gösterilir. Sıfırın bu kümeye dahil edilip edilmeyeceği tarihsel olarak tartışmalı olmuştur; bilgisayar bilimi ve mantık alanlarında sıfır genellikle doğal sayılar arasında sayılırken, sayı teorisinde gelenek olarak 1'den başlandığı görülmektedir.【1】

Doğal Sayıları temsil eden görsel ( Yapay zeka ile oluşturulmuştur )
Doğal sayıların tarihi, insanlığın sayma ihtiyacından doğmuştur. En erken sayma işaretleri, kil tablet ve kemik gibi nesneler üzerinde bulunan çentikler ya da çizgilerden oluşmaktadır. Bu izler, yazılı tarihin başlangıcından çok daha eskiye gitmektedir. Babilliler onluk konumsal bir sayı sistemi geliştirmiş, Mısırlılar bunu genişleterek milyona kadar olan 10'un kuvvetlerini kapsayan bir yapıya ulaşmıştır. Doğal sayılar üzerine ilk sistemli çalışmalar Pisagor ve Arşimet gibi Antik Yunan matematikçilerine dayandırılmaktadır.
Fransız matematikçi Nicolas Chuquet, 1484 yılında 1, 2, 3, 4, … dizisini "doğal dizilim" olarak tanımlamış; İngiliz matematikçi William Emerson ise 1763'te "natural number" terimini kullanmıştır. 19. yüzyılda Giuseppe Peano, Richard Dedekind ve Gottlob Frege gibi matematikçiler doğal sayıların sıkı biçimsel temellerini atmak için çalışmalar yürütmüştür.【2】
Doğal sayıların matematiksel temelleri iki temel yaklaşımla ortaya konulmuştur.
İtalyan matematikçi Giuseppe Peano, 1889 yılında doğal sayılar için beş aksiyomdan oluşan bir sistem önermiştir. Bu aksiyomlar doğal sayıların ne olduğunu doğrudan tanımlamak yerine, onlar hakkında doğru olması gereken koşulları belirtmektedir. Her doğal sayının kendisinden sonra gelen benzersiz bir ardıl sayısı bulunduğunu, hiçbir sayının ardılının 0 (ya da 1) olamayacağını, farklı sayıların farklı ardıllara sahip olduğunu ve matematiksel tümevarım ilkesinin geçerli olduğunu ifade eden bu aksiyomlar, sonsuz sayıda durumu sınırlı sayıda kanıtla açıklayabilmektedir. 【3】
Küme teorisi çerçevesinde her doğal sayı belirli bir küme olarak tanımlanmaktadır. John von Neumann'ın geliştirdiği yaklaşımda 0 boş küme olarak (∅), her ardıl sayı ise önceki sayıların kümesi olarak gösterilmektedir: 1 = {0}, 2 = {0, 1}, 3 = {0, 1, 2} ve bu biçimde devam etmektedir. Bu yapı, aritmetik ile küme teorisini birleştirerek modern matematiğin temel taşlarından birini oluşturmaktadır. 【4】
Doğal sayılar, toplama ve çarpma işlemleri bakımından birkaç temel özellik taşımaktadır. Kapalılık özelliği gereği iki doğal sayının toplamı ya da çarpımı her zaman bir doğal sayıdır. Değişme özelliğine göre a + b = b + a ve a × b = b × a eşitlikleri her zaman sağlanmaktadır. Birleşme özelliği uyarınca (a + b) + c = a + (b + c) ve (a × b) × c = a × (b × c) denklemleri geçerlidir. Dağılma özelliği ise a × (b + c) = (a × b) + (a × c) biçiminde ifade edilmektedir.
Çıkarma ve bölme işlemleri ise doğal sayılar için her zaman tanımlı değildir; bu işlemlerin sonucu her zaman bir doğal sayı vermeyebilir. Bu sınırlılık, tam sayılar (ℤ) ve rasyonel sayılar (ℚ) gibi daha geniş sayı kümelerinin tanımlanması gereğini doğurmuştur. Bunun yanı sıra doğal sayılar iyi sıralanmış bir küme oluşturduğundan her boş olmayan alt kümenin en küçük bir elemanı vardır; bu özellik matematiksel tümevarım yönteminin temelini oluşturmaktadır.
Doğal sayılar üç temel işlevle kullanılmaktadır. Asıl sayı (kardinal sayı) olarak nesnelerin kaç tane olduğunu belirtirler: "haftanın yedi günü" gibi. Sıra sayısı (ordinal sayı) olarak bir dizideki konumu ifade ederler: "ayın üçüncü günü" gibi. Etiket sayısı (nominal sayı) olarak ise futbolcuların forma numaraları örneğinde olduğu gibi kimlik tanımlama amacıyla kullanılırlar.
Sayı teorisi, yalnızca doğal sayıların özelliklerini inceleyen bir matematik dalıdır. Asal sayıların dağılımı, tam sayı bölünebilirliği ve kriptografide uygulama alanı bulan asal çarpanlara ayırma gibi konular bu alanın başlıca araştırma konuları arasındadır. Kombinatorik ise doğal sayıları kullanarak matematiksel nesneleri ve örüntüleri sayma üzerine kurulu bir disiplindir.
[1]
James Aspnes, "NaturalNumbers," Yale University Department of Computer Science, erişim 11 Mart 2026, https://www.cs.yale.edu/homes/aspnes/pinewiki/NaturalNumbers.html
[2]
Eduard Bertram, "The Natural Numbers," University of Utah Department of Mathematics, erişim 11 Mart 2026, https://www.math.utah.edu/~bertram/courses/4030/Nats.pdf
[3]
James Aspnes, "NaturalNumbers," Yale University Department of Computer Science, erişim 11 Mart 2026, https://www.cs.yale.edu/homes/aspnes/pinewiki/NaturalNumbers.html
[4]
James Aspnes, "NaturalNumbers," Yale University Department of Computer Science, erişim 11 Mart 2026, https://www.cs.yale.edu/homes/aspnes/pinewiki/NaturalNumbers.html
Henüz Tartışma Girilmemiştir
"Doğal Sayılar" maddesi için tartışma başlatın
Tarihsel Gelişim
Biçimsel Tanımlar
Peano Aksiyomları
Küme Teorisi ile Tanım
Temel Özellikler
Kullanım Alanları
Bu madde yapay zeka desteği ile üretilmiştir.