Английская Википедия:Grothendieck universe: история изменений

17 марта 2024

• текущ.пред. 05:4005:40, 17 марта 2024‎ EducationBot обсуждение вклад‎ 9223 байта +9223‎ Новая страница: «{{Английская Википедия/Панель перехода}} In mathematics, a '''Grothendieck universe''' is a set ''U'' with the following properties: # If ''x'' is an element of ''U'' and if ''y'' is an element of ''x'', then ''y'' is also an element of ''U''. (''U'' is a transitive set.) # If ''x'' and ''y'' are both elements of ''U'', then <math>\{x,y\}</math> is an element of ''U''. # If ''x'' is an element of ''U'', then ''P''(''...»