e/Hartogs number

Information
has gloss	eng: In mathematics, specifically in axiomatic set theory, a Hartogs number is a particular kind of cardinal number. It was shown by Friedrich Hartogs in 1915, from ZF alone (that is, without using the axiom of choice), that there is a least wellordered cardinal greater than a given wellordered cardinal.
lexicalization	eng: Hartogs number
instance of	(noun) the number of elements in a mathematical set; denotes a quantity but not the order cardinal number, cardinal

Meaning
German
has gloss	deu: In der Mengenlehre besagt der Satz von Hartogs (nach dem deutschen Mathematiker Fritz Hartogs, 1915), dass es zu jeder Menge A wenigstens eine wohlgeordnete Menge B gibt, deren Kardinalität nicht durch die Kardinalität von A beschränkt wird.
lexicalization	deu: Satz von Hartogs
French
has gloss	fra: En théorie des ensembles, lordinal de Hartogs dun ensemble A désigne le plus petit ordinal qui ne sinjecte pas dans A. Son existence utilise le remplacement et se démontre sans laxiome de choix, contrairement au théorème de Zermelo qui revient à lexistence dun ordinal en bijection avec A, et lui équivaut à l'axiome du choix.
lexicalization	fra: ordinal de Hartogs
Polish
has gloss	pol: Twierdzenie Hartogsa - twierdzenie w teorii mnogości ZF (bez aksjomatu wyboru), udowodnione w 1915 roku przez niemieckiego matematyka, Friedricha Hartogsa , mówiące, że :Dla każdego zbioru X istnieje liczba porządkowa \alpha o tej własności, że nie istnieje funkcja różnowartościowa \alpha \to X. Innymi słowy, twierdzenie Hartogsa mówi, że dla każdego zbioru istnieje od niego nie mniej liczny zbiór dobrze uporządkowany.
lexicalization	pol: Twierdzenie Hartogsa