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