Axiomas de Zermelo-Fraenkel

Axiomas de Zermelo-Fraenkel
Durante el siglo XIX algunos matemticos trataron de llevar a cabo un proceso de formalizacin de la matemtica a partir de la teora de conjuntos. Gottlob Frege intent culminar este proceso creando una axiomtica de la teora de conjuntos. Lamentablemente, Bertrand Russell descubri en 1901 una contradiccin, la llamada Paradoja de Russell. A partir de ese evento surgen distintos intentos, siendo hoy el ms aceptado los denominados Axiomas de Zermelo-Fraenkel, formulados por Ernst Zermelo y Adolf Fraenkel, habitualmente referidos como ZFC.

Introduccin
La teora de conjuntos es una rama de la matemtica relativamente moderna cuyo propsito es estudiar unas entidades llamadas conjuntos, aunque otra parte de esta teora es reconocida como los fundamentos mismos de las matemticas. La teora de conjuntos fue desarrollada por el matemtico alemn Georg Cantor a finales del siglo XIX a partir de ciertas conclusiones hechas por l mismo al reflexionar en unos detalles de las series trigonomtricas de Fourier. La teora de conjuntos fue expuesta por Cantor en una serie de artculos y libros, de los cuales pueden destacarse sus Beitrge zur Begrndung der transfiniten Mengenlehre. El propsito de Cantor era proporcionar un mtodo para lidiar con asuntos relacionados al infinito actual, un concepto que fue rehuido y rechazado por algunos matemticos (Pitgoras, Gauss, Kronecker) por considerarlo sin significado. Ciertamente Cantor tuvo xito, si bien su teora deba ser precisada y sometida a un sistema axiomtico, un proyecto que luego fue llevado a cabo principalmente por Frege, Russell, Zermelo, Albert Skolem y Adolf Fraenkel. Cantor parti de la conviccin platonista de que era posible comprimir una coleccin o conjunto de objetos y considerarla como un todo (o mejor dicho, como una sola entidad), y al parecer, aceptando implcitamente los supuestos siguientes:
(i) Un conjunto es una reunin de objetos que cumplen con cierta propiedad (llamados los elementos de ese conjunto) y que, por tanto, queda definido por tal propiedad.

(ii) Un conjunto es una sola entidad matemtica, de modo que puede a su vez ser contenido por otro conjunto.

(iii) Dos conjuntos que tengan los mismos elementos son iguales. As, puede decirse que un conjunto est determinado por sus elementos.

De este modo, Cantor pudo desarrollar su teora de una forma que en aquel entonces pareca lo suficientemente satisfactoria. Sin embargo, el sistema de Cantor era tan permisivo que dio lugar a resultados contradictorios. Gottlob Frege, que ide un sistema ms preciso, intent fundamentar adecuadamente la teora de conjuntos (y por tanto todas las matemticas), pero, para su desaliento, Bertrand Russell descubri una paradoja en la teora de aqul (hoy llamada paradoja de Russell), con lo que el sistema de Frege pareca desbaratarse. A principios del siglo XX, fue el matemtico alemn Ernst Zermelo quien puso la teora de conjuntos sobre una base aceptable reducindola a un sistema axiomtico ms restringido que no permita la obtencin de la Paradoja de Russell. Las ideas de Zermelo fueron despus precisadas por Thoralf Skolem y Abraham Fraenkel, resultando de ello la primera teora axiomtica de conjuntos, conocida como teora de Zermelo-Fraenkel, aunque sera ms adecuada llamarla teora de Zermelo-Fraenkel-Skolem. Otra teora de conjuntos que evitaba las paradojas de la teora cantoriana fue desarrollada despus, principalmente, por John von Neumann, Paul Bernays y Kurt Gdel. Esta ltima es hoy llamada, naturalmente, la teora de von Neumann-Bernays-Gdel.

Axiomas de Zermelo-Fraenkel

Sobre el concepto de conjunto

El concepto de conjunto se encuentra a un nivel tan elemental que no es posible dar una definicin precisa del mismo. Palabras como coleccin, reunin, agrupacin, y algunas otras de significado similar, se usan en un intento de describir a los conjuntos, pero no pueden constituir una definicin, pues son simplemente un reemplazo de la palabra conjunto. Con todo, en la teora intuitiva de conjuntos lo anterior es admisible, y se acepta la existencia de un universo o dominio de objetos a partir del cual se construyen los conjuntos, as como tambin permite tratar conjuntos como una entidad singular. No es de importancia la naturaleza de los objetos, sino el comportamiento de un conjunto como entidad matemtica. De lo dicho anteriormente, parece natural introducir una relacin didica de pertenencia. El smbolo usual para representar esta relacin es el smbolo , una versin de la letra griega (psilon). Los segundos argumentos de la relacin son llamados conjuntos, y los primeros argumentos son llamados elementos. As, si la frmula

se cumple, se dice que La negacin de

es un elemento del conjunto se escribe .

. Si aceptamos que todo es un conjunto, entonces los

primeros y segundos argumentos de

pertenecen al mismo dominio.

Bajo estos supuestos puede desarrollarse un poco la teora de conjuntos. Sin embargo, la concepcin intuitiva de conjuntos no permite llegar tan lejos como pudiera desearse, pues llega un momento en que, como sucede en otras reas de las matemticas, la intuicin es de poca o ninguna ayuda (por ejemplo como pasa al hablar de la hiptesis del continuo, de espacios de dimensin mayor que tres, etc.). Es en momentos como ese en que se hace evidente la necesidad de axiomatizar y formalizar la teora de conjuntos para poder llegar a resultados ms profundos. Esto implica renunciar a una definicin intuitiva de conjunto, y en su lugar postular una serie de principios que determinen el comportamiento de ste, de tal forma que los resultados obtenidos no son ya consecuencia de razonamientos intuitivos flojos, sino que se obtienen a partir de tales principios.

La necesidad de axiomatizar la teora de conjuntos

En la teora de Cantor, es posible formar un conjunto a partir de una propiedad determinada que deben cumplir sus elementos. En otras palabras, dada cualquier propiedad , existe un conjunto cuyos elementos son precisamente los objetos que verifican . En smbolos, este conjunto se representa por

As, por ejemplo, considerando la frmula

, se obtiene el conjunto

que claramente lo contiene todo. A este conjunto no se le puede aplicar alguno de los resultados de Cantor, ya que esto conduce a ciertas paradojas. Como otro ejemplo ms claro de conjuntos contradictorios debido a su 'gran tamao', est el que da lugar a la paradoja de Russell. Consideremos el conjunto cuyos elementos son aquellos conjuntos que no se pertenecen a s mismos. Esto es, el conjunto

La paradoja de Russell surge al preguntarse: es un elemento de s mismo? Si lo es, es decir, si , entonces no satisface la condicin , lo que es una contradiccin. Si , entonces satisface la condicin para ser uno de sus elementos, y as mismo ni no serlo. En un intento de eliminar esta paradoja, Russell y Whitehead desarrollaron la teora de tipos y la expusieron en un libro titulado Principia Mathematica. Si bien esta teora eliminaba la paradoja de Russell, resultaba demasiado complicada como para poseer inters. La teora de conjuntos de Zermelo, mucho ms simple a nivel lgico, lograba , de nuevo una contradiccin. As, no puede ni ser un elemento de s

Axiomas de Zermelo-Fraenkel eliminar tanto la paradoja de Russell como todas las dems que surgan en el sistema de Cantor y en el de Frege.

Los axiomas de Zermelo-Fraenkel

La teora de conjuntos de Zermelo-Fraenkel toma como primitivos los conceptos de conjunto y de pertenencia y consiste de los diez axiomas siguientes: 1. Axioma de extensionalidad. Dos conjuntos e son iguales (lo que se representa por ) si contienen los mismos elementos. Ms formalmente, y en la simbologa usual,

2. Axioma del conjunto vaco. Existe un conjunto (representado por ) sin elementos. Esto es,

3. Axioma de pares. Dados cualesquiera conjuntos elementos son nicamente e . Esto es,

, existe otro conjunto, representado por

, cuyos

4. Axioma de la unin. Dada cualquier coleccin de conjuntos llamado unin de

, existe un conjunto, representado por . Esto es,

, que contiene todos los elementos de cada conjunto de

5. Axioma del conjunto potencia Para cualquier conjunto contiene todos los subconjuntos de . En smbolos,

existe otro conjunto, representado por

, que

6. Esquema axiomtico de especificacin. Sea una variable libre elementos de que cumplen . Formalmente,

una frmula de un lenguaje de primer orden que contenga existe un conjunto cuyos elementos son aquellos

. Entonces, para cualquier conjunto

7. Esquema axiomtico de reemplazo. Si conjunto el conjunto Formalmente, si entonces

es una sentencia tal que para cualquier elemento

de un

existe, entonces existe una funcin f:xy tal que f(a)=y.

8. Axioma de infinitud. Existe un conjunto smbolos,

tal que .

y tal que si

, entonces

. En

9. Axioma de regularidad. Para todo conjunto no vaco es, en trminos formales,

existe un conjunto

tal que

. Esto

10. Lema de Zorn. Todo conjunto inductivo no-vaco tiene elemento maximal En un principio Zermelo trat de probar el "Lema de Zorn" a partir de los otros nueve axiomas, pero no lo consigui, adems, posteriormente los Teoremas de Incompletitud de Gdel probaron que el Lema de Zorn no era demostrable a partir de los restantes axiomas. Por lo tanto se aadi como dcimo axioma de la teora. Ahora bien, puede parecernos raro que en una teora que pretende sentar unas bases axiomticas sencillas y lgicas encontremos un axioma que parece tan "poco natural" como el Lema de Zorn, en el sentido de que todos los dems axiomas parecen tan intuitivos que los damos por evidentes. Sin embargo el Lema de Zorn no parece nada intuitivo o

Axiomas de Zermelo-Fraenkel evidente y por tanto es legtimo dudar de la veracidad de este axioma. Craso error!! Lo que si se ha conseguido probar es que el Lema es equivalente a algo tan evidente como el: Axioma de eleccin. Dada una familia de conjuntos no-vacos podemos coger un elemento de cada conjunto. Este axioma puede expresarse de manera equivalente a, dado un conjunto cualquiera x, existe una funcin f que elige un elemento de cada elemento no vaco de x:

Este axioma si que parece tan evidente que nuestra intuicin lo dara por sentado sin dudar. Conociendo pues la equivalencia entre el Lema de Zorn y el Axioma de eleccin queda claro pues que la teora de conjuntos de ZF se sustenta en unaas bases solidas.

Sobre los axiomas y algunas definiciones en ZF

El axioma de extensionalidad El axioma de extensionalidad dice que dos conjuntos son iguales si y solo si tienen los mismos elementos. En otras palabras, afirma que un conjunto est determinado por su extensin (todos sus elementos). Una relacin ms general que la igualdad es la inclusin ( ), que se define como sigue:

A diferencia del signo de la igualdad, el smbolo

no figura dentro del lenguaje de primer orden con el que se

construye la teora ZF, pues la definicin antes dada debera en ese caso ser introducida como un axioma que establezca el empleo de , cosa que no se ha hecho aqu. En su lugar, la simbologa se emplea simplemente para representar la frmula del lenguaje de la teora de conjuntos. e En vista del axioma de extensionalidad y de la definicin anterior, resulta que puede probarse que dos conjuntos son iguales si puede probarse que e . El axioma del conjunto vaco El axioma del conjunto vaco nos da un conjunto sin elementos. Este axioma se present usando el smbolo est justificado, pues el axioma de extensionalidad nos dice que este conjunto es nico.
Demostracin

. Esto

En efecto, si y fueran dos conjuntos vacos, entonces siempre verificaran por tanto tambin , de modo que, por el axioma de extensionalidad, .

para cualquier a, y

El axioma del conjunto vaco puede deducirse de otro axioma ms dbil, que afirma la existencia de un conjunto, digamos , y del esquema de especificacin con la frmula aplicada a este conjunto . As, el conjunto vaco es el conjunto

con el trmino

una descripcin impropia.

Axiomas de Zermelo-Fraenkel El axioma de pares EL axioma de pares, un axioma de la teora de Zermelo-Fraenkel, establece que, dos cualesquiera dos conjuntos , existe otro conjunto, representado por , cuyos elementos son nicamente e . Esto es, (3) Del axioma de pares se tiene, a partir de dos conjuntos desordenado de e nico elemento es, obviamente, e , el conjunto { }. Este conjunto se llama par , se obtiene el par { } cuyo . A este ltimo conjunto puede . Si se aplica el axioma de pares a un solo conjunto , y por ello puede representarse como e

aplicrsele de nuevo el axioma de pares, dando lugar al conjunto , conjunto al cual puede aplicarse tambin el axioma de pares, obtenindose el conjunto {}, y as sucesivamente. Este proceso de construccin de conjuntos puede aplicarse al nico conjunto dado y conocido explcitamente, , obtenindose una serie infinita de conjuntos

El axioma de unin Si es una coleccin de conjuntos, entonces la unin . Si contiene aquellos y solo aquellos elementos que estn elementos, entonces es comn escribir

en algn conjunto de

, un conjunto con . Es fcil ver que

para representar la unin de los conjuntos de

de modo que el axioma de unin y el axioma de pares garantizan la existencia del conjunto para cualesquiera conjuntos e , un hecho que no puede deducirse simplemente del esquema de especificacin junto con los axiomas restantes. A diferencia de la unin, la interseccin de conjuntos es deducible a partir del axioma de pares y el esquema de especificacin. Efectivamente, pues se define el conjunto y por tanto mediante existe. Ms general, se define el conjunto

El axioma del conjunto potencia El axioma del conjunto potencia nos da un conjunto que contiene a todos los subconjuntos de cualquier conjunto. Por tanto, . Puesto que para cualquiera que sea el conjunto , puede hacerse uso del esquema de especificacin para obtener el conjunto Si es otro conjunto, similarmente se obtiene al conjunto como un subconjunto de . Luego

de manera que el axioma de pares puede deducirse del axioma del conjunto potencia, el esquema de especificacin y el axioma de unin. As pues, no todos los axiomas de ZF son independientes. El esquema axiomtico de especificacin El esquema de especificacin resulta ser una versin limitada o dbil del axioma de Frege. Para este ltimo, era posible tener un conjunto cuyos elementos satisfacan cierta propiedad. Con ello Frege garantizaba demasiado y daba lugar en su sistema a paradojas como la de Russell, entre otras. Por otra parte, el esquema de especificacin va de acuerdo con una doctrina de reduccin del tamao. Permite obtener conjuntos a partir de otros, y cuyo tamao es menor que el de aquellos de los que han sido obtenidos. Esto implica que, necesariamente, contemos con conjuntos previamente dados. Por tanto, nunca es posible pensar en la frmula , pues el conjunto no puede ser

Axiomas de Zermelo-Fraenkel obtenido sin ms que s mismo. La paradoja de Russell surge precisamente de considerar que conjuntos muy grandes pueden ser obtenidos de forma gratuita sin ms que especificar cuales son sus elementos. Otras paradojas que tienen que ver con el gran tamao de los conjuntos, quedan excluidas de ZF mediante el esquema de especificacin. Ahora bien, el calificativo de esquema se debe a que no es un nico axioma, sino que este afirma (metamatemticamente) que cualquier expresin de la forma

donde

es una frmula del lenguaje de la teora de conjuntos es un axioma de ZF. As, si consideramos la como un axioma, el conjunto vaco sera tambin un axioma resultante de aplicar el

existencia de un conjunto

esquema de especificacin al conjunto con la frmula . El esquema de especificacin no es independiente en ZF, pues se deduce del esquema de reemplazo, introducido por Fraenkel y Skolem el mismo ao y de forma independiente. Esquema axiomtico de reemplazo El esquema de reemplazo dice que si que para cada si y solo si . existe un nico es un conjunto y tal que es una frmula con dos variables libres e , tales se cumple, entonces existe un conjunto tal que

Para mostrar como el esquema de especificacin se deduce del esquema de reemplazo, se considera la frmula

donde

cualquier elemento de un conjunto (pues es tal que

. Si

, entonces ciertamente existe un nico

tal que

mismo), por lo que la hiptesis del esquema de reemplazo se cumple, con lo que existe

un conjunto

lo que es lgicamente equivalente a que existe un conjunto

tal que

La formulacin que se ha dado del axioma de reemplazo fue introducida por primera vez por Fraenkel [1929], y apareci tambin en los trabajos de Church [1942]. Una forma ms dbil de este esquema axiomtico a parece en los trabajos de Tarski [1948]. La formulacin original, dada por Fraenkel [1921/22 y 1927] y Skolem [1922/23 y 1929], es en esencia como sigue: Para todo conjunto y cualquier funcin definida en , existe un conjunto tal que para todo

. El esquema de reemplazo fue introducido por Fraenkel y Skolem con la finalidad de extender la fuerza del esquema de especificacin, as como tambin posibilitar el conteo de nmeros ordinales ms all de lo que permite el axioma de infinitud. Axioma de infinitud El axioma de infinitud, introducido (aunque no en la forma en que se ha presentado aqu) por Zermelo 1908, permite la obtencin de los nmeros naturales como conjuntos dentro de ZF. En trminos generales, este axioma da un conjunto infinito segn Dedekind, pues garantiza la existencia de un conjunto sobre el cual existe al menos una funcin funcin es tal que inyectiva y no sobreyectiva (que claramente no existe para un conjunto finito). Es decir, la y , por lo que el rango de es un subconjunto propio de su dominio,

. Pero, en ese caso, la aplicacin dada por , es biyectiva. La conclusin es que existe una biyeccin entre y uno de sus

subconjuntos propios. Ahora bien, el conjunto

cuya existencia garantiza el axioma de infinitud, cumple:

Axiomas de Zermelo-Fraenkel

Pero es possible que subconjuntos de inductivo). Si puede formarse la interseccin

cumplan esto mismo (un subconjunto as de X se denomina conjunto , es no vaco, pues . As,

es el conjunto de todos los subconjuntos inductivos de

de todos los conjuntos inductivos. Este conjunto es claramente inductivo, y sus elementos son

mismos que pueden ser considerados los nmeros naturales en ZF, y puede llamarse

. Se observa que,

de este modo, un nmero natural es un conjunto que contiene a todos los nmeros naturales anteriores a l. El conjunto de nmeros naturales queda de esta forma bien ordenado por la inclusin. Cualquier nmero natural de la forma para algn se llama siguiente de , y se representa por o por . Mediante esta definicin de pueden probarse los axiomas de Peano, con lo que en ZF estos se convierten en teoremas (ms exactamente, cuatro teoremas y un metateorema) sencillos: implica . La forma en que se ha presentado el axioma de infinitud se debe a Fraenkel, y permite la construccin de los nmeros naturales como nmeros ordinales en el sentido de von Neumann. En esta forma fue utilizado por R. M. Robinson en su The thory of classes [1937] (en donde presenta una modificacin del sistema de von Neumann), as como tambin por Bernays [1942]. Zermelo introdujo el axioma de infinitud [1908] de forma esencialmente similar a la siguiente: Existe un conjunto (i) ( ii ) As, puede obtenerse el conjunto de nmeros naturales cuyos elementos son tal que

El orden que se establece entre estos elementos es el de la inclusin. Este axioma de infinitud de Zermelo no tiene las ventajas que tiene el axioma de infinitud de Fraenkel. Axioma de regularidad o de fundacin El axioma de regularidad dado aqu se debe a Zermelo [1930], si bien von Neumann present uno equivalente [1929], aunque ms complicado. Este axioma prohbe la existencia de conjuntos extraos, tales como conjuntos que cumplan: xx; o un par de conjuntos con xy yx; as como tambin la existencia de cadenas descendientes infinitas:

Existen teoras de conjuntos donde se excluye este axioma. La teora que resulta de aadir un contrario del axioma de regularidad se conoce como teora de conjuntos no bien fundados.

Axiomas de Zermelo-Fraenkel Axioma de eleccin A diferencia de los axiomas de ZF, el axioma de eleccin es un axioma no constructivo, en el sentido de que no determina un conjunto nico a partir de su informacin. Adems, como puede observarse, carece de la obviedad que (aunque la complejidad notacional de estos haga en algunos casos pensar lo contrario) caracteriza a todos los otros axiomas. Esto llev a algunos matemticos al intento de probar el axioma de eleccin a partir de los dems axiomas, cosa en lo que todos ellos fracasaron. Estos intentos vanos de probar el axioma de eleccin despus de grandes esfuerzos, y ciertas peculiaridades del mismo, algunos matemticos pensaban ya en la posible independencia del axioma de eleccin respecto de los axiomas de ZF, aunque no saban en que direccin se encontraba la prueba de ello. Gdel prob [1930/1940] que el axioma de eleccin era consistente con los axiomas de ZF, por lo que poda emplearse junto con ellos sin temor de obtener contradicciones. El axioma de eleccin fue presentado por Russell en 1906 de manera esencialmente similar a la siguiente: Para todo conjunto no vaco de conjuntos disjuntos tal que , el producto cartesiano de es no

vaco. Russell llam a este principio Axioma multiplicativo. El nombre de Axioma de eleccin (Auswahlaxiom) fue dado por Zermelo al principio ms general que el de Russell: Para todo conjunto no vaco , tal que . Zermelo introdujo el axioma de eleccin para probar el teorema de buena ordenacin que afirma que todo conjunto puede ser bien ordenado. Mostr tambin que el lema de Kuratowski-Zorn se deduce del axioma de eleccin. En realidad, el axioma de eleccin es equivalente tanto al teorema de buena ordenacin como al lema de Kuratowski-Zorn (la mayora de las veces simplemente llamado Lema de Zorn). La siguiente lista enumera algunos principios equivalentes en ZF al axioma de eleccin: Teorema de buena ordenacin. Lema de Kuratowski-Zorn. Ley de tricotoma de cardinales. Principio del maximal de Hausdorff. Lema de Teichmler-Tukey. . elige un elemento de cada elemento (conjunto) de tal que , existe una funcin cuyos argumentos son elementos de

El nombre del axioma se debe al hecho de que la funcin

Sierpinski prob [1947] que la Hiptesis del continuo (un principio ad hoc que debe ser aceptado como axioma de la teora de conjuntos) implica el axioma de eleccin, si bien lo recproco no es cierto. Otro principio que implica el axioma de eleccin es el axioma de conjuntos inaccesibles de Tarski [1938/1939]. El sistema axiomtico de ZFC admite las demostraciones por reduccin al absurdo como mtodo para demostrar teoremas. Dado un (presunto) conjunto nos basta con llegar a una contradiccin con el resto de la teora despus de haber supuesto su existencia para demostrar que no existe tal conjunto. un ejemplo tpico es la no existencia del conjunto de todos los conjuntos.

De existir este conjunto V podramos definir el conjunto

, lo que irremisiblemente lleva a

la Paradoja de Russell, por lo cual V no es un conjunto. Procedimiento igual nos llevar a demostrar la no existencia de conjunto conjugado(conjunto de los elementos no pertenecientes al conjunto) dado un conjunto cualquiera, ya que de ser as existira su unin, por el axioma de la unin, y esta sera igual a V.

Axiomas de Zermelo-Fraenkel

Otras propiedades de ZFC

Kurt Gdel prob que la consistencia lgica de los axiomas de ZFC es indemostrable. A lo sumo se pueden demostrar afirmaciones como si ZFC es consistente, entonces "T" tambin lo es, es decir la consistencia relativa. En cuanto a la completitud, el propio Gdel en sus teoremas de incompletitud demostr que si un sistema axiomtico es lo suficientemente fuerte como para construir una aritmtica recursiva, dicho sistema no puede ser completo y consistente.

Vase tambin
Axioma Teora de conjuntos de Von Neumann-Bernays-Gdel Lenguaje formal Lgica matemtica Nocin primitiva Sistema formal Teora de conjuntos

Bibliografa
1. 2. 3. 4. 5. Keith Devlin, The Joy of Sets (Fundamentals of Contemporary Set Theory), Springer, New York. Peter J. Cameron, Sets, Logic and Categories, Springer, New York. Patrck Suppes, Axiomatic Set theory, Van Nostrand Company, New York. Paul R. Halmos, Naive Set Theory, Springer, New York. James M. Henle, An Outline of Set Theory, Springer, New Oyrk.

Fuentes y contribuyentes del artculo

10

Fuentes y contribuyentes del artculo

Axiomas de Zermelo-Fraenkel Fuente: http://es.wikipedia.org/w/index.php?oldid=47241030 Contribuyentes: .Jos, Alephcero, Antur, Argentinator, Axxgreazz, Chanchicto, Cinabrium, Davius, Dferg, Echani, Egaida, Elwikipedista, Eric, Erufailon, Ezarate, Farisori, HUB, Halfdrag, Haminb, Herufra, Ignacio Icke, Isha, Juan Mayordomo, Kadellar, Kn, Lourdes Cardenal, Neodop, Netito777, Numbo3, Otto ter Haar, Paradoja, Peregring-lk, Qwertyytrewqqwerty, Raulshc, Raystorm, Sobolev, Tano4595, Toad32767, Tortillovsky, Vitamine, Vivero, Wewe, 174 ediciones annimas

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported http:/ / creativecommons. org/ licenses/ by-sa/ 3. 0/