Unuopo: Malsamoj inter versioj

[nekontrolita versio][nekontrolita versio]
Enhavo forigita Enhavo aldonita
SieBot (diskuto | kontribuoj)
Linio 8:
== Propraĵoj ==
 
Aro estas unuera aro [[se kaj nur se]] ĝia [[kardinala nombro|kardinalo]] estas [[unu|1]]. En la aro-teoria konstruado de la [[natura nombro|naturaj nombroj]], la nombro [[unu|1]] estas ''difinita'' kiel la unuera aro ''{0}''.
 
En [[aksioma aroteorio]], la ekzisto de unueraj aroj estas konsekvenco de la [[aksiomo de malplena aro]] kaj la [[aksiomo de parigo]]: la unua donas la [[malplena aro|malplenan aron]] ''{}'', kaj la lasta, aplikita al la parigo de ''{}'' kaj ''{}'', donas la unueran aron ''{ {} }''.