Les Entiers Naturels

Main
Mathematics - Logic
Les Entiers Naturels

Les Entiers Naturels

Alain Prouté

0 / 0

0 comments

როგორ მოგეწონათ ეს წიგნი?

როგორი ხარისხისაა ეს ფაილი?

ჩატვირთეთ, ხარისხის შესაფასებლად

როგორი ხარისხისაა ჩატვირთული ფაილი?

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.

კატეგორია:

Mathematics - Logic

წელი:

2006

გამოცემა:

version 16 Aug 2006

ენა:

french

გვერდები:

სერია:

expository notes

ფაილი: