{
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]https://proofwiki.org/wiki/Definition:Universe_(Set_Theory) = https://proofwiki.org/wiki/Definition:Universe_(Set_Theory)

WpEn:Universe_(mathematics)
= https://en.wikipedia.org/wiki/Universe_(mathematics)
= https://en.wikipedia.org/wiki/Universe_(mathematics)

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

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

성질
일반적으로 (공간,space과 마찬가지)
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 2023-12-11

"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 2024-02-08

} // 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 2024-02-08
} // 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 }

[edit]

다른 -verse

Retrieved from http://www.red-ruby.com/wiki/wiki.php/유니버스,universe
last modified 2024-05-06 13:22:59