Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Universit Paris Diderot UFR de mathmatiques
 

Summary: Université Paris Diderot
UFR de mathématiques
Licence de mathématiques
L3 ­ Logique et théorie des ensembles
Feuille d'exercices no
1
Théorie naïve des ensembles
1 Axiomes de Zermelo
On rappelle la liste des axiomes :
Axiome d'extensionalité : Deux ensembles possédant les mêmes éléments sont égaux.
x y t (t x t y) x = y
Principe de compréhension restreint : Pour tout ensemble A et pour toute propriété F( · ), il existe
un ensemble B formé des éléments de A qui satisfont la propriété F :
A B x x B (x A F(x))
Remarque : F peut contenir des paramètres.
Axiome de la paire : Pour tous ensemble x et y, il existe un ensemble p dont les éléments sont pré-
cisément x et y :
x y p t t p (t = x) (t = y)
Axiome de la réunion : Pour tout ensemble A, il existe un ensemble U dont les éléments sont les
éléments des éléments de A :

  

Source: Abbes, Samy - Laboratoire Preuves, Programmes et Systèmes, Université Paris 7 - Denis Diderot

 

Collections: Computer Technologies and Information Sciences