#noindex
##=========유니버스,universe =,universe . universe
{
KmsE:universe ?
WtEn:universe 

Sub: - 모두 w
[[universal_set]] WtEn:universal_set ? - [[집합,set]]
[[universal_class]] WtEn:universal_class ? - curr at / is_a [[클래스,class]]
[[Grothendieck_universe]] //저아래
[[Herbrand_universe]] // 저아래

----
[[https://proofwiki.org/wiki/Definition:Universe_(Set_Theory)]] = https://proofwiki.org/wiki/Definition:Universe_%28Set_Theory%29

[[WpEn:Universe_(mathematics)]]
= https://en.wikipedia.org/wiki/Universe_(mathematics)
= https://en.wikipedia.org/wiki/Universe_%28mathematics%29 

} // universe (of math, logic)
----
번역?

우주 - 
전체 - https://ko.wikipedia.org/wiki/구성_가능_전체
유니버스
...

----
성질
일반적으로 ([[공간,space]]과 마찬가지)
 * homogeneous - [[균질성]] [[동질성]] [homogeneity] [homogeneousness] .. KpsE:homogen
 * isotropic - KpsE:isotrop

----
universe's shape : https://en.wikipedia.org/wiki/Shape_of_the_universe
 rel
 Ggl:"프리드만 방정식"
 Ggl:"밀도 매개변수" Ω
 평평한 우주 / 열린 우주 / 닫힌 우주
Up: [[셰이프,shape]] [[모양,moyang]]
   
[[미래,future]], [[운명,fate]] :
 https://ko.wikipedia.org/wiki/우주의_종말
 https://en.wikipedia.org/wiki/Ultimate_fate_of_the_universe

----
Sub:

[[universe_of_discourse]] ... [[discoursal_universe]]? WtEn:discoursal
 번역어는?
  일단 universe에 앞서 discourse의 적절한 번역은?
   NdEn:discourse Ndict:discourse WtEn:discourse Ggl:"discourse 논리학" Ggl:"discourse 수리논리"

[[basic_universe]] =,basic_universe =,basic_universe . basic_universe
{
basic universe
https://proofwiki.org/wiki/Definition:Basic_Universe
xxx
https://en.wiktionary.org/wiki/basic_universe x [[Date(2023-12-11T00:51:26)]]

"basic universe"
Ggl:"basic universe"
} // basic universe


[[Grothendieck_universe]] =,Grothendieck_universe . Grothendieck_universe
{
'''Grothendieck universe'''
그로텐디크 유니버스
그로텐디크 우주

https://en.wikipedia.org/wiki/Grothendieck_universe
https://ja.wikipedia.org/wiki/グロタンディーク宇宙

[[Alexander_Grothendieck]]
} // ... Ggl:"그로텐디크 유니버스" Bing:"그로텐디크 유니버스" Naver:"그로텐디크 유니버스" // "Grothendieck universe" ...  YouTube:"Grothendieck universe" Ggl:"Grothendieck universe" Naver:"Grothendieck universe"


[[Herbrand_universe]] =,Herbrand_universe . Herbrand_universe
{
'''Herbrand universe'''
에르브랑 유니버스
에르브랑 우주

WtEn:Herbrand_universe
 the set of all ground_term s ....

WpEn:Herbrand_universe
redir to
WpEn:Herbrand_structure
so rel. [[Herbrand_structure]] - [[구조,structure]]

} Srch:Herbrand_universe // Herbrand universe .... NN:"Herbrand universe" Ggl:"Herbrand universe" Bing:"Herbrand universe" // ....  Ggl:"에르브랑 유니버스" ??

[[constructible_universe]] =,constructible_universe . constructible_universe
{
'''constructible universe'''

https://ko.wikipedia.org/wiki/구성_가능_전체
 "... 구성 가능성 공리(構成可能性公理, 영어: axiom of constructibility, ..."
  [[constructibility_axiom]] =,constructibility_axiom . constructibility_axiom
   {
   '''axiom of constructibility'''
   Up: [[구성가능성,constructibility]] =,constructibility . constructibility { WtEn:constructibility } // constructibility Ggl:constructibility [[공리,axiom]]
   } //  axiom of constructibility Ggl:"axiom of constructibility"

https://en.wikipedia.org/wiki/Constructible_universe
 "constructible universe (or Gödel's constructible universe)..."
 "union of the [constructible_hierarchy] =,constructible_hierarchy . constructible_hierarchy { '''constructible hierarchy''' Up: [[위계,hierarchy]] } // constructible hierarchy Ggl:"constructible hierarchy"

xxx
WtEn:constructible_universe x [[Date(2024-02-07T20:48:12)]]

} // constructible universe Ggl:"constructible universe"


[[von_Neumann_universe]] =,von_Neumann_universe . von_Neumann_universe
{
'''von Neumann universe'''
https://en.wikipedia.org/wiki/Von_Neumann_universe

[[John_von_Neumann]]

xxx
https://en.wiktionary.org/wiki/von_Neumann_universe x [[Date(2024-02-07T21:02:13)]]
} // von Neumann universe Ggl:"von Neumann universe" Ndict:"von Neumann universe" Naver:"von Neumann universe"

----
MKL
[[유니버설,universal]] - '''universe'''의?
cosmos
cosmology { https://en.wikipedia.org/wiki/Cosmology }
[[시공간,spacetime]] - [[시간,time]] [[공간,space]] https://en.wikipedia.org/wiki/Spacetime
 light_cone
 light cone
 광추 빛원뿔 Ggl:"광추 빛원뿔"
 https://ko.wikipedia.org/wiki/광추

[[세계선,world_line]]  https://en.wikipedia.org/wiki/World_line
theory of everything =,TOE . { https://en.wikipedia.org/wiki/Theory_of_everything }
dark energy { https://en.wikipedia.org/wiki/Dark_energy }

= 다른 -verse =
metaverse
...

----
[[WpEn:Universe]]
= https://en.wikipedia.org/wiki/Universe
 corr interwiki
 https://ko.wikipedia.org/wiki/우주
 
[[WpEn:Universe_(mathematics)]]
= https://en.wikipedia.org/wiki/Universe_(mathematics)