Φυσικός αριθμός
Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Το σύνολο των φυσικών αριθμών αποτελείται από όλους τους θετικούς ακεραίους. Συμβολίζεται με .
.
Σε ορισμένες περιπτώσεις το 0 συμπεριλαμβάνεται στους φυσικούς αριθμούς. Όταν χρειάζεται να διαφοροποιείσουμε τις δύο περιπτώσεις, χρησημοποιείται συνήθως το σύμβολο για το σύνολο χώρις το 0 και για το σύνολο με το 0.
[Επεξεργασία] Ορισμοί
[Επεξεργασία] Αξιώμάτα Peano
Παραδοσιακά οι φυσικοί αρι8μοί ορίζονται συμφωνα με τα αξιώμάτα Peano:
- To 0 είναι φυσικός αριθμός
- Κάθε φυσικός αριθμός n έχει έναν επόμενο n'
- Δεν υπάρχει φυσικός αριθμός που να έχει ως επόμενο το 0
- Δύο διακριτοί φυσικοί αριθμοί n,m έχουν διαφορετικούς επόμενους αριθμούς n',m'
- Αν ένα σύνολο συμπεριλαμβάνει το 0 και κάθε επόμενο αριθμό από τους φυσικούς που συμπεριλαμβάνει, τότε συμπεριλαμβάνει όλους τους φυσικούς αριθμούς (μαθηματική επαγωγή)
Τα αξιώμάτα Peano περιγράφουν τους φυσικούς αριθμούς, αλλά δεν αποδεικνύουν την ύπαρξή τους.