Φυσικός αριθμός: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Χωρίς σύνοψη επεξεργασίας |
Χωρίς σύνοψη επεξεργασίας |
||
Γραμμή 134:
<math>\bar{n}:=\lambda fx.\ f^{(n)}(x)</math>
</div>
Έτσι, το αριθμιακό <math>\bar{n}</math>, δηλαδή ο φυσικός αριθμός <math>n</math>, εκφράζεται μέσα από τις <math>n</math> διαδοχικές εφαρμογές μιας πράξης <math>f</math> σε ένα όρισμα
<div style='text-align: center;'>
<math>0\in\mathbb{N},\ \ n\in\mathbb{N}\Rightarrow S(n)\in\mathbb{N}</math>
|