Les Entiers Naturels
Alain Prouté
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.
الفئات:
عام:
2006
الإصدار:
version 16 Aug 2006
اللغة:
french
الصفحات:
12
سلسلة الكتب:
expository notes
ملف:
PDF, 154 KB
IPFS:
,
french, 2006