Section outline

  • Μιλήσαμε για τη θεμελίωση των φυσικών αριθμών. Ειδικότερα, είδαμε τα αξιώματα του Peano και τους αναδρομικούς ορισμούς των πράξεων της πρόσθεση και του πολλαπλασιασμού. Αποδείξαμε κάποιες βασικές ιδιότητες των πράξεων (αντιμεταθετικότητα, προσετεριστικότητα) χρησιμοποιώντας την Αρχή της Επαγωγής. Ορίσαμε την σχέση \leq και είδαμε ότι είναι σχέση ολικής διάταξης στο \mathbb{N}_0.

    Διαβάστε: σελ. 88-97 από τις σημειώσεις Χ. Κουρουνιώτη.