Revisión como estaba o 13 de abril de 2015 ás 04:43 editar BanjoBot 2.0 (conversa \| contribucións) Bots 393.002 edicións m Bot - borrado de comas antes de etcétera [http://academia.gal/dicionario#searchNoun.do?nounTitle=etc%C3%A9tera]; cambios estética ← Edición máis vella		Revisión como estaba o 19 de xullo de 2016 ás 17:04 editar desfacer Lameiro (conversa \| contribucións) 61.492 edicións corrixo Edición máis nova →
Liña 1: En [[Matemáticas]], un '''número ordinal''' denota a posición dun elemento pertencente a unha [[sucesión]] ~~[[orde]]nada~~ordenada. Por exemplo, na sucesión ''a'' ''b'' ''c'' ''d'', o elemento ''a'' é o primeiro, ''b'' o segundo, ''c'' o terceiro etc. Os números ordinais poden xeneralizarse para as sucesións [[infindo\|infindas]], concepto introducido por [[Georg Cantor]] en [[1897]]. É esta xeneralización a que se explicará neste artigo. Liña 27: Outra consecuencia é que '''todo ordinal ''S'' é un conxunto que contén como elementos precisamente os ordinais máis pequenos que ''S'''''. Esta afirmación determina completamente a estrutura de conxunto de cada ordinal en termos doutros ordinais. Ela é utilizada para demostrar moitas dos propiedades destes números. Un exemplo do mesmo é unha importante caracterización da relación de orde entre ordinais: '''todo conxunto de ordinais ten un [[supremo]], que é o ordinal obtido como a unión de tódolos ordinais do conxunto'''. Outro exemplo é o feito de que '''a colección de tódolos ordinais non é un conxunto'''. Posto que todo ordinal contén unicamente ordinais, se cumpre que todo elemento da colección de tódolos ordinais tamén é o seu subconxunto. Así, se esa colección fose un conxunto, tería que ser un ordinal tamén, por definición; entón sería un elemento ~~del~~do mesmo, o cal contradí o [[axioma de regularidade]]. (Véxase tamén o [[Paradoxo de Burali-Forti]]). == Aplicacións ==

Número ordinal: Diferenzas entre revisións