19/11/30 20:49:47.21 4Ujjq2jv.net
つづき
(PDFからOCRして手直し引用)
Sur la notion d'ensemble fini.
Par
Casimir Kuratowski (Warszawa).
M. W.Sierpinski a donne dans son ouvrage L'axiome de M. Zermelo et son role dans la Theorie des Ensembles et l'Analyse 1) une nouvelle definition de l'ensemble fini.
Cette definition se distingue essentiellement par ce fait qu'elle ne depend ni de la notion de nombre naturel ni de la notion generale de fonction, qui entre d'habitude dans les definitions faisant usaged de la notion de correspondance.
La definition en question est la suivante:
"Considerons des classes K d'ensembles dont chacune satisfait aux ,conditions suivante:
1° tout ensemble contenant un seul element appartient a la classe K,
2° si.A. et B sont deux ensembles appartenant a la classe K,
leur ensemble-somme A + B appartient aussi a K.
Appelons fini tout ensemble qui appartient a chacune des
classes K satisfaisant aux conditions 1°et 2°".
つづく