Προβολή πηγαίου κώδικα για τη σελίδα Φυσικός αριθμός

{{bots|deny=AWB}} <!-- has problems with set notation -->
[[Αρχείο:Three apples.svg|right|thumb|Οι φυσικοί αριθμοί μπορούν να χρησιμοποιηθούν για μετρήσεις (ένα μήλο, δύο μήλα, τρία μήλα, ...)]]
Στα [[μαθηματικά]], οι '''φυσικοί αριθμοί''' είναι εκείνοι που χρησιμοποιούνται για τη [[μέτρηση]] («υπάρχουν έξι νομίσματα στο τραπέζι») και για τη [[Μέτρηση|σύγκριση]] («υπάρχουν περισσότερες καρέκλες από τους πίνακες»). Μια μεταγενέστερη έννοια είναι εκείνη ενός ονομαστικού αριθμού, ο οποίος χρησιμοποιείται μόνο για την ονομασία. 

Δεν υπάρχει καθολική συμφωνία για το αν θα συμπεριλαμβάνεται το [[0 (αριθμός)|μηδέν]] στο σύνολο των φυσικών αριθμών: μερικοί ορίζουν τους φυσικούς αριθμούς να είναι οι '''[[Θετικός αριθμός|θετικοί]] ακέραιοι'''  1, 2, 3,... ενώ για άλλους ο όρος προσδιορίζει τους '''μη-[[Αρνητικός αριθμός|αρνητικούς]] ακέραιους '''0, 1, 2, 3, .... Ο πρώτος ορισμός είναι ο παραδοσιακός, με τον τελευταίο ορισμό να εμφανίζεται για πρώτη φορά τον 19ο αιώνα. Μερικοί συγγραφείς χρησιμοποιούν τον όρο ''φυσικό αριθμό'' αποκλείοντας το 0 και ''ακέραιο αριθμό'' για να το συμπεριλάβουν. Άλλοι χρησιμοποιούν τον όρο ''[[Ακέραιος αριθμός|ακέραιο αριθμό]]'' κατά τρόπο που να περιλαμβάνει τόσο το μηδέν όσο και τους αρνητικούς ακέραιους, δηλαδή ως ισοδύναμο του ''ακεραίου '' όρου.

Ιδιότητες των φυσικών αριθμών που σχετίζονται με τη [[Διαιρέτης|διαιρετότητα]], όπως η κατανομή των [[Πρώτοι αριθμοί|πρώτων αριθμών]], μελετούνται στη [[θεωρία αριθμών]]. Προβλήματα σχετικά με την καταμέτρηση και την διάταξη, όπως ο [[διαμερισμός]] και η [[απαρίθμηση]], μελετούνται στη [[συνδυαστική]].

== Ιστορία των φυσικών αριθμών και το καθεστώς του μηδενός ==
<!--This section is linked from [[Numeral system]]-->
Οι φυσικοί αριθμοί είχαν τις ρίζες τους στις λέξεις που χρησιμοποιούνται για να μετρήσουν τα αντικείμενα,{{citation needed|date=January 2013}} ξεκινώντας με τον [[1 (αριθμός)|αριθμό 1]].

Η πιο πρωτόγονη μέθοδος που αντιπροσωπεύει ένα φυσικό αριθμό είναι να βάλεις κάτω μια κουκκίδα για κάθε αντικείμενο. Αργότερα, μια σειρά από αντικείμενα που μπορούσαν να ελέγχονται για την ισότητα, το πλεόνασμα ή το έλλειμμα, διαγράφοντας μια τελεία για κάθε αντικείμενο στο σύνολο. 

Το πρώτο μεγάλο βήμα προς την αφαίρεση ήταν η χρήση των [[Ελληνικό σύστημα αρίθμησης|συστημάτων αρίθμησης]] για να αντιπροσωπεύσουν τους αριθμούς. Αυτό επέτρεψε να αναπτυχθούν συστήματα για την καταγραφή μεγάλων αριθμών. Οι αρχαίοι [[Αρχαία Αίγυπτος|Αιγύπτιοι]] ανέπτυξαν ένα ισχυρό σύστημα αρίθμησης με διάφορα [[ιερογλυφικά]] για το 1, 10, αλλά και για όλες τις δυνάμεις του 10 έως και πάνω από 1 εκατομμύριο. Μια πέτρα λιθοτεχνίας από [[Καρνάκ (Αίγυπτος)|Καρνάκ]], που χρονολογείται γύρω στο 1500 π.Χ. και τώρα βρίσκεται στο μουσείο του [[Μουσείο του Λούβρου|Λούβρου]] στο [[Παρίσι]], απεικονίζει το 276 ως 2 εκατοντάδες, 7 δεκάδες, και 6 μονάδες, και ομοίως για τον αριθμό 4.622. Οι [[ Βαβυλώνα|Βαβυλώνιοι]] είχαν ένα αξιόλογο σύστημα αρίθμησης που βασιζόταν κυρίως στους αριθμούς 1 και 10.{{citation needed|date=November 2012}}

Ένα μεταγενέστερο βήμα ήταν η ανάπτυξη της ιδέας ότι το [[0 (αριθμός)|0]] μπορεί να θεωρηθεί ως ένας αριθμός, με το δικό του ψηφίο. Η χρήση του [[Αριθμός|ψηφίου]] 0 με αξιολογικό συμβολισμό (μέσα σε άλλους αριθμούς) χρονολογείται ήδη από το 700 π.Χ. από τους Βαβυλώνιους, αλλά παραλείπεται ένα τέτοιο ψηφίο όταν θα ήταν το τελευταίο σύμβολο στον αριθμό. Οι πολιτισμοί των [[Ολμέκοι|Ολμέκων]] και των [[Μάγια]] χρησιμοποίησαν το 0 ως ξεχωριστό αριθμό ήδη από τον 1ο αιώνα π.Χ., αλλά η χρήση αυτή δεν είχε εξαπλωθεί πέρα από την [[Κεντρική Αμερική]].{{Citation needed|date=October 2012}} Η χρήση του ψηφίου 0 στη σύγχρονη εποχή ξεκίνησε από την [[Ινδία|Ινδό]] μαθηματικό [[Βραχμαγκούπτα]] το 628. Ωστόσο, το 0 είχε χρησιμοποιηθεί ως ένας αριθμός στα μεσαιωνικά (για τον υπολογισμό της ημερομηνίας του [[Πάσχα]]), αρχίζοντας από τον [[Διονύσιος ο Μικρός|Διονύσιο τον Μικρό]] το 525, χωρίς να συμβολίζεται από ένα ψηφίο (σύμφωνα με τους [[Λατινικοί αριθμοί|Λατινικούς αριθμούς]] δεν υπήρχε ένα σύμβολο για το 0) αντί του συμβόλου χρησιμοποιήθηκε το ''nulla'' ή το''nullae'', γενική της ''nullus'', η λατινική λέξη "τίποτα", χρησιμοποιήθηκε για να υποδηλώσει μια τιμή 0.<ref>{{cite web |author=Michael L. Gorodetsky |url=http://hbar.phys.msu.ru/gorm/chrono/paschata.htm |title=Cyclus Decemnovennalis Dionysii – Nineteen year cycle of Dionysius |publisher=Hbar.phys.msu.ru |date=2003-08-25 |accessdate=2012-02-13 |archive-date=2016-12-26 |archive-url=https://web.archive.org/web/20161226031734/http://hbar.phys.msu.ru/gorm/chrono/paschata.htm |url-status=dead }}</ref>

Η πρώτη συστηματική μελέτη των αριθμών ως αφαιρέσεις (δηλαδή, ως αφηρημένες [[οντότητα|οντότητες]] συνήθως πιστώνεται στους [[Αρχαία Ελλάδα|αρχαίους Έλληνες]] φιλόσοφους, στον [[Πυθαγόρας|Πυθαγόρα]] και στον [[Αρχιμήδης|Αρχιμήδη]]. Στα [[στοιχεία]] του [[Ευκλείδης|Ευκλείδη]] συναντούμε τον πρώτο ορισμό των φυσικών αριθμών: ''«[α΄] Μονάς ἐστιν, καθ' ἣν ἕκαστον τῶν ὄντων ἓν λέγεται. [β΄] Ἀριθμὸς δὲ τὸ ἐκ μονάδων συγκείμενον πλῆθος.» (Στοιχεία, βιβλίο VII, όροι κγ΄)''. Με βάση τον παραπάνω ορισμό ο μικρότερος φυσικός αριθμός είναι το "2", καθώς το "1" είναι η ιδεατή μονάδα, η οποία θα μπορούσε να θεωρηθεί ότι δεν αντιπροσωπεύει αριθμό.<ref>Στοιχεία του Ευκλείδη[http://www.physics.ntua.gr/~mourmouras/euclid/book7/elements7.html].</ref>

Ανεξάρτητες μελέτες, επίσης, εμφανίστηκαν κατά τις αντίστοιχες χρονικές περιόδους στην [[Ινδία]], στην [[Κίνα]] και στην [[Κεντρική Αμερική]].{{Citation needed|date=October 2011}}

Αρκετοί ορισμοί των φυσικών αριθμών αναπτύχθηκαν τον 19ο αιώνα. Με τους ορισμούς αυτούς ήταν βολικό να περιλαμβάνεται το 0 (που αντιστοιχεί στο [[Σύνολο|κενό σύνολο]]) ως ένα φυσικός αριθμός. Το να συμπεριλαμβάνεται και το 0 είναι πλέον η κοινή σύμβαση μεταξύ των επιστημόνων της βασικής θεωρίας, της λογικής και της [[πληροφορική]]ς. Πολλοί άλλοι μαθηματικοί περιλαμβάνουν επίσης το 0, αν και ορισμένοι έχουν διατηρήσει την παλαιότερη παράδοση και λαμβάνουν ότι το 1 είναι ο πρώτος φυσικός αριθμός.<ref>This is common in texts about Real analysis. See, for example, Carothers (2000) p.3 or Thomson, Bruckner and Bruckner (2000), p.2.</ref> Μερικές φορές, το σύνολο των φυσικών αριθμών συμπεριλαμβανομένου και του μηδενός καλείται σύνολο ακεραίων αριθμών ή μετρήσιμων αριθμών. Από την άλλη πλευρά, ο ακέραιος στα λατινικά για το «σύνολο», είναι οι [[ακέραιοι]], που συνήθως υφίστανται για τους αρνητικούς και θετικούς ακέραιους αριθμούς (και το 0) μαζί.

== Σημείωση ==
Οι μαθηματικοί χρησιμοποιούν '''N''' ή <math>\mathbb{N}</math> (Ένα N στο μαυροπίνακα, εμφανίζεται ως  {{unicode|ℕ}} σε [[Unicode]]) για να αναφερθούν στο [[σύνολο]] των φυσικών αριθμών. Αυτό το σύνολο είναι αριθμητικά άπειρο: είναι [[άπειρο]] αλλά [[Μέτρηση|μετρήσιμο]] εξ ορισμού. Αυτό εκφράζεται επίσης λέγοντας ότι ο  απόλυτος αριθμός του συνόλου είναι [[Aleph number#Aleph-null|aleph-null]] <math>(\aleph_0)</math>.<ref>{{MathWorld |urlname=CardinalNumber |title=Cardinal Number}}</ref>

Για να είμαστε σαφείς για το αν το 0 περιλαμβάνεται ή όχι, μερικές φορές ένα ευρετήριο (ή εκθέτης) προστίθεται στο "0", στην πρώτη περίπτωση, ένας εκθέτης  "<math>*</math>" στη δεύτερη περίπτωση προστίθεται ο δείκτης "<math>1</math>"  
:<math>\mathbb{N}^0 = \mathbb{N}_0 = \{ 0, 1, 2, \ldots \}</math>
:<math>\mathbb{N}^* = \mathbb{N}^+ = \mathbb{N}_1 = \mathbb{N}_{>0}= \{ 1, 2, \ldots \}. </math>
<!--(Sometimes, an index or [[superscript]] "+" is added to signify "positive". However, this is often used for "nonnegative" in other cases, as '''R'''<sup>+</sup> = <nowiki>[0,∞)</nowiki> and '''Z'''<sup>+</sup> = { 0, 1, 2, ... }, but rarely in European scientific journals. The notation "<math>*</math>", however, is standard for nonzero, or rather, [[invertible]] elements. The notation <math>\mathbb{N}^0</math> could also mean the empty [[direct product]] <math>\prod_{i=1}^k \mathbb{N}</math> resp. the empty [[direct sum]] <math>\bigoplus_{i=1}^k \mathbb{N}</math> in the case <math>k=0</math>.)-->

Μερικοί συγγραφείς που αποκλείουν το 0 από τους φυσικούς αριθμούς μπορεί να διακρίνουν το σύνολο των θετικών ακέραιων παραπέμποντας στους τελευταίους, σαν  ''φυσικούς αριθμούς με το μηδέν'', ''ακέραιους αριθμούς'', ή ''αριθμούς μέτρησης'', συμβολίζοντάς τους με  '''W'''. Άλλοι χρησιμοποιούν το '''P''' συμβολισμό για τους θετικούς ακέραιους αν δεν υπάρχει κίνδυνος σύγχυσης αυτού με τους πρώτους αριθμούς. } Σε αυτή την περίπτωση, μια δημοφιλής  σημειογραφία είναι να χρησιμοποιήσετε ένα '''''P''''' για θετικούς ακέραιους (το οποίο εκτείνεται στη χρήση του '''''N''''' για αρνητικούς ακεραίους, και το   '''''Z''''' για το 0.

Βασικοί θεωρητικοί δηλώνουν συχνά το σύνολο όλων των φυσικών αριθμών συμπεριλαμβανομένου του 0 με το πεζό ελληνικό γράμμα [[ω]]. Αυτό απορρέει από την αναγνώριση ενός [[Τακτικός αριθμός|τακτικού αριθμού]] από το σύνολο των τακτικών αριθμών.

== Αλγεβρικές ιδιότητες ==
Η πρόσθεση (+) και ο πολλαπλασιασμός (×) για τους φυσικούς αριθμούς έχουν αρκετές αλγεβρικές ιδιότητες:

*Είναι κλειστό ως προς την πρόσθεση και πολλαπλασιασμό: για όλους τους φυσικούς αριθμούς ''a'' και ''b'', και τα δύο {{nowrap|''a'' + ''b''}} και {{nowrap|''a'' × ''b''}} είναι φυσικοί αριθμοί. 
*[[Προσεταιριστική ιδιότητα|Προσεταιριστικότητα]]: : για όλους τους φυσικούς αριθμούς ''a'', ''b'', και ''c'', {{nowrap|''a'' + (''b'' + ''c'') {{=}} (''a'' + ''b'') + ''c''}} και {{nowrap|''a'' × (''b'' × ''c'') {{=}} (''a'' × ''b'') × ''c''}}.
*[[Αντιμεταθετική ιδιότητα|Αντιμεταθετικότητα]]: για όλους τους φυσικούς αριθμούς ''a'' και ''b'', {{nowrap|''a'' + ''b'' {{=}} ''b'' + ''a''}} και {{nowrap|''a'' × ''b'' {{=}} ''b'' × ''a''}}.
*Ύπαρξη του μοναδιαίου στοιχείου για κάθε φυσικό αριθμό a, που στην πράξη της πρόσθεσης είναι το 0 έτσι ώστε {{nowrap|''a'' + 0 {{=}} ''a''}} και στον πολλαπλασιασμό το 1 έτσι ώστε {{nowrap|''a'' × 1 {{=}} ''a''}}.
*[[Άλγεβρα Μπουλ|Επιμεριστικότητα]] του πολλαπλασιασμού πάνω προσθήκη για όλους τους φυσικούς αριθμούς ''a'', ''b'', και''c'', {{nowrap|''a'' × (''b'' + ''c'') {{=}} (''a'' × ''b'') + (''a'' × ''c'')}}
*Χωρίς [[Διαιρέτης|μηδενικούς διαιρέτες]]: Εάν ''a'' και ''b'' είναι φυσικοί αριθμοί τέτοιοι ώστε  {{nowrap|''a'' × ''b'' {{=}} 0}}, τότε {{nowrap|''a'' {{=}} 0}} ή {{nowrap|''b'' {{=}} 0}} ή  {{nowrap|''a'' {{=}} ''b'' {{=}} 0}}.

== Ιδιότητες ==
Κάποιος μπορεί να καθορίσει αναδρομικά μια [[πρόσθεση]] για τους φυσικούς αριθμούς θέτοντας {{nowrap|''a'' + 0 {{=}} ''a''}} και {{nowrap|''a'' + ''S''(''b'') {{=}} ''S''(''a'' + ''b'')}} για όλα τα ''a'', ''b''. Εδώ το''S'' πρέπει να διαβαστεί ως "διάδοχος". Αυτό μετατρέπει τους φυσικούς αριθμούς ('''N''',&nbsp;+) σε ένα [[αντιμεταθετική ιδιότητα|αντιμεταθετικό]] [[μονοειδές]] με [[ουδέτερο στοιχείο]] το 0, το λεγόμενο [[ελεύθερο μονοειδές]] ικανοποιεί την  [[ιδιότητα ακύρωσης]] και μπορεί να ενσωματωθεί σε μια [[ομάδα]] (με τη μαθηματική έννοια της ''ομάδας'' λέξης ). Η μικρότερη ομάδα που περιέχει τους φυσικούς αριθμούς είναι οι [[ακέραιοι]].

Εάν το 1 ορίζεται ως ''S''(0), στη συνέχεια {{nowrap|''b'' + 1 {{=}} ''b'' + ''S''(0) {{=}} ''S''(''b'' + 0) {{=}} ''S''(''b'')}}. Δηλαδή, {{nowrap|''b'' + 1}}είναι απλώς αμέσως επόμενο του ''b''.

Αναλόγως, δεδομένου ότι η προσθήκη έχει οριστεί, ένας [[πολλαπλασιασμός]] × μπορεί να οριστεί μέσω {{nowrap|''a'' × 0 {{=}} 0}} και{{nowrap|''a'' × S(''b'') {{=}} (''a'' × ''b'') + ''a''}}. Αυτό μετατρέπεται ('''N'''<sup>*</sup>,&nbsp;×) σε ένα ελεύθερο αντιμεταθετικό μονοειδές με ουδέτερο στοιχείο το 1. Μια γεννήτρια  για αυτό το μονοειδές είναι το σύνολο των [[Πρώτος αριθμός|πρώτων αριθμών]]. Η πρόσθεση και ο πολλαπλασιασμός είναι συμβατές πράξεις, οι οποίες εκφράζονται στην  [[Άλγεβρα Μπουλ| επιμεριστική ιδιότητα]]:
{{nowrap|''a'' × (''b'' + ''c'') {{=}} (''a'' × ''b'') + (''a'' × ''c'')}}. Αυτές οι ιδιότητες της πρόσθεσης και του πολλαπλασιασμού κάνουν τους φυσικούς αριθμούς ένα στιγμιότυπο του  [[αντιμεταθετική|αντιμεταθετικού]] [[ημιδακτυλίου]]. Οι ημιδακτύλιοι είναι μια αλγεβρική γενίκευση των φυσικών αριθμών όπου ο πολλαπλασιασμός δεν είναι απαραίτητα ευμετάβλητος. Η έλλειψη από προσθετικούς αντιστρόφους, κάτι το οποίο είναι ισοδύναμο με το γεγονός ότι το  '''N''' δεν είναι κλειστό υπό την πράξη της αφαίρεσης, σημαίνει ότι το  '''N'''  ''δεν είναι''  [[Δακτύλιος (άλγεβρα)|δακτύλιος]]; αλλά είναι ένας [[ημιδακτύλιος]].

Εάν οι φυσικοί αριθμοί λαμβάνονται ως "εκτός του 0", και "ξεκινώντας από το 1", οι ορισμοί των + και × είναι όπως παραπάνω, εκτός του ότι αρχίζουν με  {{nowrap|''a'' + 1 {{=}} ''S''(''a'')}} και{{nowrap|''a'' × 1 {{=}} ''a''}}.

Για το υπόλοιπο του άρθρου, παρατιθέμενες μεταβλητές όπως η ''ab'' αναφέρουν το γινόμενο ''a'' × ''b''.

Η [[Αριθμός|απόλυτη σειρά]] για τους φυσικούς αριθμούς ορίζεται αφήνοντας  {{nowrap|''a'' ≤ ''b''}} αν και μόνο αν υπάρχει ένας άλλος φυσικός αριθμός ''c'' με {{nowrap|''a'' + ''c'' {{=}} ''b''}}. Η σειρά αυτή είναι συμβατή με τις  [[Πράξη (μαθηματικά)|αριθμητικές πράξεις]] με την εξής έννοια: αν ''a'', ''b'' και ''c'' a είναι φυσικοί αριθμοί και {{nowrap|''a'' ≤ ''b''}}, τότε {{nowrap|''a'' + ''c'' ≤ ''b'' + ''c''}} και {{nowrap|''ac'' ≤ ''bc''}}. Μια σημαντική ιδιότητα των φυσικών αριθμών είναι ότι είναι  καλά οργανωμένοι: κάθε μη-κενό σύνολο των φυσικών αριθμών έχει ένα τουλάχιστον στοιχείο. Η κατάταξη μεταξύ των καλά διατεταγμένων συνόλων εκφράζεται από έναν [[τακτικός αριθμός|τακτικό αριθμό]]; για τους φυσικούς αριθμούς αυτό εκφράζεται ως ''ω''.

Ενώ δεν είναι σε γενικές γραμμές δυνατόν να διαιρέσει κανείς ένα φυσικό αριθμό με έναν άλλο και να πάρει ένα φυσικό αριθμό ως αποτέλεσμα, η διαδικασία της ''[[διαίρεση]]ς με το υπόλοιπο''  για κάθε δύο φυσικούς αριθμούς  ''a'' και ''b'' με {{nowrap|''b'' ≠ 0}} υπάρχουν φυσικοί αριθμοί  ''q'' και ''r'' τέτοιοι ώστε 
:''a'' = ''bq'' + ''r'' and ''r'' < ''b''.

Ο αριθμός  ''q'' ονομάζεται το ''[[Διαίρεση|πηλίκο]]'' και ''r'' ονομάζεται το  ''[[Διαίρεση|υπόλοιπο]]'' της διαίρεσης του  ''a'' από το ''b''. Οι αριθμοί ''q'' και ''r'' προσδιορίζονται μονοσήμαντα από  ''a'' και ''b''. Η [[Ευκλείδεια διαίρεση]] είναι το κλειδί για πολλές άλλες ιδιότητες της ([[Διαίρεση|διαιρετότητας]]), αλγόριθμους  (όπως ο [[αλγόριθμος του Ευκλείδη]]), και ιδέες σε αριθμητικές θεωρίες.

== Οι γενικεύσεις ==
Δύο γενικεύσεις των φυσικών αριθμών προκύπτουν από τις δύο χρήσεις: 

* Ένας φυσικός αριθμός μπορεί να χρησιμοποιηθεί για να εκφράσει το μέγεθος ενός πεπερασμένου συνόλου: Γενικότερα ένας [[απόλυτος αριθμός]] είναι ένα μέτρο για το μέγεθος ενός συνόλου επίσης κατάλληλο για άπειρα σύνολα: αυτό αναφέρεται σε μια έννοια του "μεγέθους" τέτοια όπως, εάν υπάρχει αμφιμονοσήμαντη αντιστοιχία ανάμεσα σε δύο σύνολα που έχουν το ίδιο μέγεθος. Το σύνολο των φυσικών αριθμών και σε οποιαδήποτε άλλο αριθμήσιμο άπειρο σύνολο έχει [[πληθάριθμο]] [[Aleph number#Aleph-null|aleph-null]] (<math>\aleph_0</math>).
* [[Γλωσσικοί τακτικοί αριθμοί]] "πρώτοι", "δεύτεροι", "τρίτοι" μπορούν να αποδοθούν στα στοιχεία ενός πλήρως διατεταγμένου πεπερασμένου συνόλου, αλλά και στα στοιχεία από τις καλά οργανωμένες μετρήσιμες άπειρες σειρές, όπως το σύνολο των φυσικών αριθμών. Αυτό μπορεί να γενικευθεί σε τακτικούς αριθμούς που περιγράφουν την θέση ενός στοιχείου σε ένα  [[καλά οργανωμένο]] σύνολο γενικά. Ένας τακτικός αριθμός χρησιμοποιείται επίσης για να περιγράψει το "μέγεθος" ενός καλά οργανωμένου συνόλου, κατά μία έννοια διαφορετική από cardinality: αν υπάρχει ένας [[Συνάρτηση|ισομορφισμός]] ανάμεσα σε δύο καλά ορισμένα σύνολα τότε έχουν τον ίδιο τακτικό αριθμό. Ο πρώτος τακτικός αριθμός που δεν είναι φυσικός αριθμός εκφράζεται ως  <math>\omega</math>; Αυτός είναι επίσης ο τακτικός αριθμός του συνόλου των φυσικών αριθμών.

Για [[Πεπερασμένο σώμα|πεπερασμένα]] καλά διατεταγμένα σύνολα, υπάρχει ένα-προς-ένα αντιστοιχία μεταξύ τακτικών και καρδινάλιων αριθμών:ως εκ τούτου μπορούν και οι δύο να εκφράζονται από το ίδιο φυσικό αριθμό, το πλήθος των στοιχείων του συνόλου. Αυτός ο αριθμός μπορεί επίσης να χρησιμοποιηθεί για να περιγράψει τη θέση ενός στοιχείου σε μία μεγαλύτερη πεπερασμένη ή άπειρη [[ακολουθία]].

Οι [[Υπερφυσικός αριθμός|υπερφυσικοί]] αριθμοί είναι μέρος ενός [[μη καθιερωμένου μοντέλου της αριθμητικής]] λόγω του  [[Skolem]].

Άλλες γενικεύσεις συζητούνται στο άρθρο σχετικά με τους [[Αριθμός|αριθμούς]].

== Τυπικοί ορισμοί ==

Ιστορικά, ο ακριβής μαθηματικός ορισμός των φυσικών αριθμών αναπτύχθηκε με κάποια δυσκολία. Τα αξιώματα Peano έχουν τις προϋποθέσεις που αναφέρεται ότι οποιοσδήποτε επιτυχής ορισμός πρέπει να πληροί. Ορισμένες κατασκευές δείχνουν ότι, με δεδομένη τη [[Θεωρία συνόλων|θεωρία των συνόλων]], [[Αξιώματα Πεάνο|τα μοντέλα]] του Peano αξιώματα πρέπει να υπάρχει. 

=== Αξιώματα Πεάνο ===

Τα [[αξιώματα Πεάνο]] δίνουν μια τυπική θεωρία των φυσικών αριθμών. Τα αξιώματα είναι:

*Υπάρχει ένας φυσικός αριθμός 0
*Κάθε φυσικός αριθμός ''α'' έχει ένα φυσικό διάδοχο αριθμό, που συμβολίζεται με ''S''(''a''). Διαισθητικά, ''S''(''a'') είναι ένα {{nowrap|''a'' + 1}}.
*Δεν υπάρχει φυσικός αριθμός διάδοχος του οποίου είναι το 0. 
*Το ''S'' είναι [[injective]], δηλαδή οι διακριτοί φυσικοί αριθμοί έχουν διακριτούς διαδόχους: αν {{nowrap|''a'' ≠ ''b''}}, τότε {{nowrap|''S''(''a'') ≠ ''S''(''b'')}}.
*Εάν ένα ακίνητο κατέχεται από 0 και από τον διάδοχο του κάθε φυσικού αριθμού που διαθέτει, τότε διακατέχεται από όλους τους φυσικούς αριθμούς. (Αυτό το αξίωμα διασφαλίζει ότι η απόδειξη τεχνικής της [[Μαθηματική επαγωγή|μαθηματικής επαγωγής]] είναι έγκυρη.) 

Το "0" στον παραπάνω ορισμό δεν χρειάζεται να αντιστοιχεί στον αριθμό μηδέν. "0" σημαίνει απλά κάποιο αντικείμενο που όταν συνδυάζεται με την κατάλληλη συνάρτηση διαδοχής, ικανοποιεί τα αξιώματα Peano.  Όλα τα συστήματα που ικανοποιούν αυτά τα αξιώματα είναι στοιχειωδώς ισοδύναμα σε λογική πρώτης τάξης, όμως, υπάρχουν μοντέλα για τα αξιώματα του Peano που είναι μη μετρήσιμα. Αυτά ονομάζονται μη τυποποιημένα πρότυπα για την αριθμητική και είναι εγγυημένα από το Upward Löwenheim-Skolem θεώρημα. Το όνομα "0" χρησιμοποιείται εδώ για το πρώτο στοιχείο (ο όρος "στοιχείο μηδενικής» έχει προταθεί να αφήσει σαν  "πρώτο στοιχείο" το "1", "δεύτερο στοιχείο" το "2", κλπ.), το οποίο είναι το μόνο στοιχείο που δεν είναι διάδοχος. Για παράδειγμα, οι φυσικοί αριθμοί που αρχίζουν με 1 πληρούν επίσης τα αξιώματα, εάν το σύμβολο 0 ερμηνεύεται ως ο φυσικός αριθμός 1, το σύμβολο  ''S''(''0'') σαν τον αριθμό 2, κλπ. Στην πραγματικότητα, στην αρχική σύνθεση του Peano, ο πρώτος φυσικός αριθμός ήταν το 1.

=== Κατασκευές βασισμένες στη θεωρία των συνόλων ===
==== Ένα πρότυπο κατασκευής ====
Μια τυπική κατασκευή στη [[Θεωρία συνόλων|θεωρία των συνόλων]], μια ειδική περίπτωση της [[von Neumann ordinal]] τακτικής κατασκευής, είναι να καθορίσει τους φυσικούς αριθμούς ως εξής: 

:Ορισμός 0 := {&nbsp;}, το [[Θεωρία συνόλων|κενό σύνολο]],
:και να καθορίσει  ''S''(''a'') = ''a'' ∪ {''a''} για κάθε σύνολο ''a''. ''S''(''a'') είναι ο διάδοχος του  ''a'', και ''S'' ονομάζεται η λειτουργία διαδόχου. 
:Με το  [[Άπειρο|αξίωμα του απείρου]], το σύνολο όλων των φυσικών αριθμών υπάρχει και είναι η τομή όλων των συνόλων που περιέχουν το 0, τα οποία είναι κλειστά κάτω από αυτή τη λειτουργία διαδόχου. Αυτό ικανοποιεί τότε τα  [[αξιώματα Πεάνο]].
:Κάθε φυσικός αριθμός είναι τότε ίσος με το σύνολο όλων των φυσικών αριθμών λιγότερο από αυτό, έτσι ώστε 
:*{{math|0 {{=}} {{mset| }}}},
:*{{math|1 {{=}} 0 ∪ {{mset|0}} {{=}} {{mset|0}} {{=}} {{mset|{{mset| }}}}}},
:*{{math|2 {{=}} 1 ∪ {{mset|1}} {{=}} {{mset|0, 1}} {{=}} {{mset|{{mset| }}, {{mset|{{mset| }}}}}}}},
:*{{math|3 {{=}} 2 ∪ {{mset|2}} {{=}} {{mset|0, 1, 2}} {{=}} {{mset|{{mset| }}, {{mset|{{mset| }}}}, {{mset|{{mset| }}, {{mset|{{mset| }}}}}}}}}},
:*{{math|''n'' {{=}} ''n''−1 ∪ {{mset|''n''−1}} {{=}} {{mset|0, 1, …, ''n''−1}} {{=}} {{mset|{{mset| }}, {{mset|{{mset| }}}}, …, {{mset|{{mset| }}, {{mset|{{mset| }}}}, …}}}}}}, ...
:*''n'' = {0, 1, 2, ..., ''n''−2, ''n''−1} = {0, 1, 2, ..., ''n''−2,} ∪ {''n''−1} = {''n''−1} ∪ (''n''−1) = ''S''(''n''−1)

:και ούτω καθεξής. Όταν ένας φυσικός αριθμός χρησιμοποιείται ως ένα σύνολο, αυτό είναι συνήθως αυτό που εννοείται. Σύμφωνα με τον ορισμό αυτό, υπάρχουν ακριβώς n στοιχεία (σε αφελή έννοια) στο σύνολο ''n'' και ''n'' ≤ ''m'' (σε αφελή έννοια) [[αν και μόνο αν]] ''n'' είναι ένα  [[υποσύνολο]] του ''m''.

:Επίσης, με τον ορισμό αυτό, διάφορες πιθανές ερμηνείες των συμβολισμών όπως '''R'''<sup>''n''</sup> (''n-'' έναντι αντιστοιχίσεις του  ''n'' σε '''R''') συμπίπτουν.

:Ακόμα και αν κάποιος δεν αποδέχεται το αξίωμα του απείρου και ως εκ τούτου δεν μπορεί να δεχθεί ότι το σύνολο όλων των φυσικών αριθμών υπάρχει, είναι δυνατόν να ορίσουμε τι σημαίνει να είναι ένα από αυτά τα σύνολα. Ένα σύνολο ''n'' είναι ένας φυσικός αριθμός που σημαίνει ότι είναι είτε 0 (κενό) ή ένα διάδοχο, και το καθένα από τα στοιχεία του είναι είτε 0 είτε ο διάδοχος του άλλου από τα στοιχεία του.

==== Άλλες κατασκευές ====
Παρόλο που η τυπική κατασκευή είναι χρήσιμη, δεν είναι η μόνη δυνατή κατασκευή. Για παράδειγμα:

:θα μπορούσε κανείς να ορίσει 0 = {&nbsp;}
:και''S''(''a'') = {''a''},
:παραγωγή
:*{{math|0 {{=}} {{mset| }}}},
:*{{math|1 {{=}} {{mset|0}} {{=}} {{mset|{{mset| }}}}}},
:*{{math|2 {{=}} {{mset|1}} {{=}} {{mset|{{mset|{{mset| }}}}}}}},
:*{{math|''n'' {{=}} {{mset|''n''−1}} {{=}} {{mset|{{mset|{{mset|…}}}}}}}}, κ.λ.π.
:Κάθε φυσικός αριθμός είναι τότε ίσος με το σύνολο του φυσικού αριθμού που προηγείται. 

Είναι επίσης δυνατόν να καθοριστεί 0 = {{&nbsp;}}
:και''S''(''a'') = ''a'' ∪ {''a''}
:παραγωγή
:*{{math|0 {{=}} {{mset| }}}},
:*{{math|1 {{=}} {{mset|0}} {{=}} {{mset|{{mset| }}}}}},
:*{{math|2 {{=}} {{mset|1}} {{=}} {{mset|{{mset|{{mset| }}}}}}}},
:*{{math|''n'' {{=}} {{mset|''n''−1}} {{=}} {{mset|{{mset|{{mset|…}}}}}}}},κ.λ.π.

Ο παλαιότερος και πιο «κλασικός» συνολικός θεωρητικός ορισμός των φυσικών αριθμών είναι ο ορισμός που συνήθως αποδίδεται στον [[Γκότλομπ Φρέγκε]] και στον [[Μπέρτραντ Ράσελ]], του οποίου κάθε συγκεκριμένος φυσικός αριθμός n ορίζεται ως το σύνολο όλων των συνόλων με ''n'' στοιχεία..<ref>''[http://www.ac-nancy-metz.fr/enseign/philo/textesph/Frege.pdf Die Grundlagen der Arithmetik:] {{Webarchive|url=https://web.archive.org/web/20070926172317/http://www.ac-nancy-metz.fr/enseign/philo/textesph/Frege.pdf |date=2007-09-26 }}'' ''eine logisch-mathematische Untersuchung über den Begriff der Zahl'' (1884). Breslau.</ref><ref>Whitehead, Alfred North, and Bertrand Russell. ''Principia Mathematica'', 3 vols, Cambridge University Press, 1910, 1912, and 1913. Second edition, 1925 (Vol. 1), 1927 (Vols 2, 3). Abridged as ''Principia Mathematica to *56'', Cambridge University Press, 1962.</ref> Αυτό μπορεί να εμφανίζεται κυκλικό, αλλά μπορεί να γίνει με προσοχή αυστηρό. Ορίστε 0 ως {{&nbsp;}} (προφανώς το σύνολο όλων των συνόλων με μηδενικά στοιχεία) και να καθορίσει ''S''(''A'') (για κάθε σύνολο ''Α''), όπως {{nowrap begin}}{''x'' ∪ {''y''} | ''x'' ∈ ''A'' ∧ ''y'' ∉ ''x''}{{nowrap end}}.Το 0 τότε θα είναι το σύνολο όλων των συνόλων με μηδενικά στοιχεία, {{nowrap|1 {{=}} ''S''(0)}}θα είναι το σύνολο όλων των συνόλων με ένα στοιχείο, {{nowrap|2 {{=}} ''S''(1)}} είναι το σύνολο όλων των συνόλων με δύο στοιχεία, και ούτω καθεξής . Το σύνολο όλων των φυσικών αριθμών μπορεί να οριστεί ως η τομή όλων των συνόλων που περιέχουν 0 ως ένα στοιχείο και να κλείσει κάτω από''S'' (δηλαδή, εάν το σύνολο περιέχει ένα στοιχείο ''n'', περιέχει επίσης  ''S''(''n'')). Κάποιος θα μπορούσε επίσης να καθορίσει "πεπερασμένο" ανεξάρτητα από την έννοια του «φυσικού αριθμού", και στη συνέχεια να ορίσει τους φυσικούς αριθμούς ως κλάσεις ισοδυναμίας των πεπερασμένων συνόλων σύμφωνα με την σχέση ισοδυναμίας της [[equipollence]]. Ο ορισμός αυτός δεν λειτουργεί στα συνήθη συστήματα της [[αξιωματική θεωρία συνόλων|αξιωματικής θεωρίας συνόλων]] , επειδή οι συλλογές που συμμετέχουν είναι πολύ μεγάλες (δεν θα λειτουργήσει σε οποιαδήποτε θεωρία των συνόλων με το [[αξίωμα του διαχωρισμού ]]);αλλά κάνει δουλειά σε [[Νέα Ιδρύματα]] (και σχετίζονται με τα συστήματα που είναι γνωστό ότι είναι σχετικά συνεπή), και σε κάποια συστήματα της [[θεωρία τύπου|θεωρίας τύπου]].

== Συναρτησιακή προσέγγιση ==

Ο [[Λούντβιχ Βίτγκενσταϊν|Βίτγκενσταϊν]] στο ''[[Tractatus Logico-Philosophicus]]'' ([[1921]]) έγραφε «ο αριθμός είναι ο εκθέτης μιας πράξης», δίνοντας έτσι ένα ριζικά διαφορετικό νόημα στους φυσικούς αριθμούς: ο αριθμός δεν είναι σύνολο κάποιων στοιχείων αλλά επανάληψη κάποιας πράξης, δηλαδή κάποιας ''[[συνάρτηση]]ς''. Ο [[Αλόνζο Τσερτς|Τσερτς]] (Church) το [[1933]] αναδιατυπώνει την ιδέα αυτή, στα πλαίσια του [[Λογισμός λάμδα|λαμδαλογισμού]], ορίζοντας τους φυσικούς αριθμούς μέσα από τα ''[[Κωδικοποίηση Τσερτς|αριθμιακά Τσερτς]]'' (Church numerals) ως εξής:
<div style='text-align: center;'>
<math>\bar{n}:=\lambda fx.\ f^{(n)}(x)</math>
</div>
Έτσι, το αριθμιακό <math>\bar{n}</math>, δηλαδή ο φυσικός αριθμός <math>n</math>, εκφράζεται μέσα από τις <math>n</math> διαδοχικές εφαρμογές μιας πράξης <math>f</math> σε ένα όρισμα x. Μια απλή και εύχρηστη εκδοχή αυτής της ιδέας είναι ο [[επαγωγικός ορισμός]] των φυσικών αριθμών με χρήση αποκλειστικά του ''μηδέν'' <math>0</math> και της ''συνάρτησης διαδοχής'' <math>S</math>:
<div style='text-align: center;'>
<math>0\in\mathbb{N},\ \ n\in\mathbb{N}\Rightarrow S(n)\in\mathbb{N}</math>
</div>
Δηλαδή, ο φυσικός αριθμός <math>n</math> βλέπεται εδώ ως η εφαρμογή της συνάρτησης διαδοχής <math>S</math> στο μηδέν, <math>n</math> διαδοχικές φορές:
<div style='text-align: center;'>
<math>n:=\underbrace{S(S(\cdots(S}_n(0))))=S^n(0)</math>
</div>

== Αναφορές και παρατηρήσεις ==
<references />

== Βιβλιογραφία ==
* {{cite book
 |last=Bluman |first=Allan
 |year=2010 |edition=Second
 |title=Pre-Algebra DeMYSTiFieD
 |publisher=McGraw-Hill Professional
 |isbn=978-0-07-174251-1
 |url=https://books.google.com/books?id=oRLc9r4bmSgC
 |via=Google Books
}}
* {{cite book
 |last=Carothers |first=N.L.
 |year=2000
 |title=Real Analysis
 |publisher=Cambridge University Press
 |isbn=978-0-521-49756-5
 |via=Google Books
 |url=https://books.google.com/books?id=4VFDVy1NFiAC&q=%22natural+numbers%22
}}
* {{cite book
 |last1=Clapham |first1=Christopher
 |last2=Nicholson |first2=James
 |year=2014 |edition=Fifth 
 |title=The Concise Oxford Dictionary of Mathematics
 |publisher=Oxford University Press
 |isbn=978-0-19-967959-1
 |via=Google Books
 |url=https://books.google.com/books?id=c69GBAAAQBAJ
}}
* {{cite book
 |last=Dedekind |first=Richard |author-link=Ρίχαρντ Ντέντεκιντ
 |translator-last=Beman |translator-first=Wooster Woodruff
 |orig-year=1901 |year=1963 |edition=reprint
 |title=Essays on the Theory of Numbers
 |publisher=Dover Books
 |isbn=978-0-486-21010-0
 |via=Archive.org
 |url=https://archive.org/details/essaysontheoryof0000dede
}}
** {{cite book
 |author-first=Richard |author-last=Dedekind |author-link=Ρίχαρντ Ντέντεκιντ
 |translator-first=Wooster Woodruff |translator-last=Beman
 |year=1901
 |title=Essays on the Theory of Numbers
 |publisher=Open Court Publishing Company
 |place=Chicago, IL
 |via=Project Gutenberg
 |url=https://www.gutenberg.org/ebooks/21016
 |access-date=13 August 2020
}}
** {{cite book
 |last=Dedekind |first=Richard |author-link=Ρίχαρντ Ντέντεκιντ
 |orig-year=1901 |year=2007
 |title=Essays on the Theory of Numbers
 |publisher=Kessinger Publishing, LLC
 |isbn=978-0-548-08985-9
}}
* {{cite book
 |last=Eves |first=Howard |author-link=Howard Eves
 |year=1990 |edition=6th
 |title=An Introduction to the History of Mathematics
 |publisher=Thomson
 |isbn=978-0-03-029558-4
 |via=Google Books
 |url=https://books.google.com/books?id=PXvwAAAAMAAJ 
}}
* {{cite book
 |last=Halmos |first=Paul |author-link=Paul Halmos
 |year=1960 
 |title=Naive Set Theory
 |publisher=Springer Science & Business Media
 |isbn=978-0-387-90092-6
 |via=Google Books
 |url=https://books.google.com/books?id=x6cZBQ9qtgoC&q=peano+axioms&pg=PP1
}}
* {{cite book
 |last=Hamilton |first=A.G.
 |year=1988 |edition=Revised
 |title=Logic for Mathematicians
 |publisher=Cambridge University Press
 |isbn=978-0-521-36865-0
 |via=Google Books
 |url=https://books.google.com/books?id=TO098EjWT38C&q=peano%27s+postulates
}}
* {{cite book
 |last1=James |first1=Robert C. |author-link1=Robert C. James
 |last2=James |first2=Glenn
 |year=1992 |edition=Fifth
 |title=Mathematics Dictionary
 |publisher=Chapman & Hall
 |isbn=978-0-412-99041-0
 |via=Google Books
 |url=https://books.google.com/books?id=UyIfgBIwLMQC
}}
* {{cite book
 |last=Landau |first=Edmund |author-link=Edmund Landau
 |year=1966 |edition=Third
 |title=Foundations of Analysis
 |publisher=Chelsea Publishing
 |isbn=978-0-8218-2693-5
 |via=Google Books
 |url=https://books.google.com/books?id=DvIJBAAAQBAJ
}}
* {{cite book
 |last=Levy |first=Azriel |author-link=Azriel Levy
 |year=1979 
 |title=Basic Set Theory
 |publisher=Springer-Verlag Berlin Heidelberg
 |isbn= 978-3-662-02310-5
}}
* {{cite book
 |last1=Mac Lane |first1=Saunders |author1-link=Saunders Mac Lane
 |last2=Birkhoff |first2=Garrett |author2-link=Garrett Birkhoff
 |year=1999 |edition=3rd
 |title=Algebra
 |publisher=American Mathematical Society
 |isbn=978-0-8218-1646-2
 |via=Google Books
 |url=https://books.google.com/books?id=L6FENd8GHIUC&q=%22the+natural+numbers%22&pg=PA15
}}
* {{cite book
 |last=Mendelson |first=Elliott |author-link=Elliott Mendelson
 |orig-year=1973 |year=2008
 |title=Number Systems and the Foundations of Analysis
 |publisher=Dover Publications
 |isbn=978-0-486-45792-5
 |via=Google Books
 |url=https://books.google.com/books?id=3domViIV7HMC
}}
* {{cite book
 |last=Morash |first=Ronald P.
 |year=1991 |edition=Second
 |title=Bridge to Abstract Mathematics: Mathematical proof and structures
 |publisher=Mcgraw-Hill College
 |isbn=978-0-07-043043-3
 |via=Google Books
 |url=https://books.google.com/books?id=fH9YAAAAYAAJ
}}
* {{cite book
 |last1=Musser |first1=Gary L.
 |last2=Peterson |first2=Blake E.
 |last3=Burger |first3=William F.
 |year=2013 |edition=10th
 |title=Mathematics for Elementary Teachers: A contemporary approach
 |publisher=Wiley Global Education
 |isbn=978-1-118-45744-3
 |via=Google Books
 |url=https://books.google.com/books?id=b3dbAgAAQBAJ
}}
* {{cite book
 |last1=Szczepanski |first1=Amy F.
 |last2=Kositsky |first2=Andrew P.
 |year=2008
 |title=The Complete Idiot's Guide to Pre-algebra
 |publisher=Penguin Group
 |isbn=978-1-59257-772-9
 |via=Google Books
 |url=https://books.google.com/books?id=wLA2tlR_LYYC
}}
* {{cite book
 |last1=Thomson |first1=Brian S.
 |last2=Bruckner |first2=Judith B.
 |last3=Bruckner |first3=Andrew M.
 |year=2008 |edition=Second
 |title=Elementary Real Analysis
 |publisher=ClassicalRealAnalysis.com 
 |isbn=978-1-4348-4367-8
 |via=Google Books
 |url=https://books.google.com/books?id=vA9d57GxCKgC
}}
* {{cite journal
 |last=von Neumann
 |first=John
 |author-link=Τζον φον Νόιμαν
 |year=1923
 |title=Zur Einführung der transfiniten Zahlen
 |trans-title=On the Introduction of the Transfinite Numbers
 |journal=Acta Litterarum AC Scientiarum Ragiae Universitatis Hungaricae Francisco-Josephinae, Sectio Scientiarum Mathematicarum
 |volume=1
 |pages=199–208
 |url=http://acta.fyx.hu/acta/showCustomerArticle.action?id=4981&dataObjectType=article&returnAction=showCustomerVolume&sessionDataSetId=39716d660ae98d02&style=
 |url-status=dead
 |access-date=15 September 2013
 |archive-url=https://web.archive.org/web/20141218090535/http://acta.fyx.hu/acta/showCustomerArticle.action?id=4981&dataObjectType=article&returnAction=showCustomerVolume&sessionDataSetId=39716d660ae98d02&style=
 |archive-date=18 December 2014
 |accessdate=2023-05-27
 |archivedate=2014-12-18
 |archiveurl=https://web.archive.org/web/20141218090535/http://acta.fyx.hu/acta/showCustomerArticle.action?id=4981&dataObjectType=article&returnAction=showCustomerVolume&sessionDataSetId=39716d660ae98d02&style=
 |deadurl=
 }}
* {{cite book
 |author-last=von&nbsp;Neumann
 |author-first=John
 |author-link=Τζον φον Νόιμαν
 |editor-first=Jean
 |editor-last=van Heijenoort
 |orig-year=1923
 |date=January 2002
 |edition=3rd
 |title=From Frege to Gödel: A source book in mathematical logic, 1879–1931
 |chapter=On the introduction of transfinite numbers
 |pages=346–354
 |isbn=978-0-674-32449-7
 |publisher=Harvard University Press
 |chapter-url=http://www.hup.harvard.edu/catalog.php?isbn=978-0674324497
 |access-date=2023-05-27
 |archive-date=2022-06-30
 |archive-url=https://web.archive.org/web/20220630173536/https://www.hup.harvard.edu/catalog.php?isbn=978-0674324497
 |url-status=
 }} – English translation of {{Harvnb|von&nbsp;Neumann|1923}}.

== Εξωτερικοί σύνδεσμοι ==
{{Commonscat}}
* {{springer|title=Natural number|id=p/n066090}}
* {{cite web
 |title=Axioms and construction of natural numbers
 |website=apronus.com
 |url=http://www.apronus.com/provenmath/naturalaxioms.htm
}}

{{Αριθμοί}}
{{Φυσικοί αριθμοί|αριθμός=3}}
{{Authority control}}
{{Portal bar|Μαθηματικά}}

[[Κατηγορία:Φυσικοί αριθμοί| ]]
[[Κατηγορία:Στοιχειώδη μαθηματικά]]