جزییات کتاب
On axiomatise la notion d'ensemble des entiers naturels à l'aide du principe de récursion simple (inspiré par les travaux de W. Lawvere), on en déduit le principe de récursion primitive, et les axiomes de Peano (dont le principe usuel du raisonnement par récurrence). On développe l'arithmétique dans N, à partir de cette définition (addition, multiplication, division euclidienne,...). Application aux ensembles finis et aux cardinaux. On démontre aussi l'axiome des choix dépendants à partir de l'axiome général du choix, et du principe de récursion simple.
درباره نویسنده
![](https://upload.wikimedia.org/wikipedia/commons/thumb/9/95/Festival_automobile_international_2012_-_Photocall_-_Alain_Prost_-_013.jpg/33px-Festival_automobile_international_2012_-_Photocall_-_Alain_Prost_-_013.jpg)
آلن پروست (انگلیسی: Alain Prost؛ زاده ۲۴ فوریهٔ ۱۹۵۵(1955-02-24)) یک راننده سابق فرمول یک اهل فرانسه است که چهار دوره قهرمانی مسابقات فورمول یک جهان را در کارنامه دارد.