Sub: - 모두 w
universal_set
universal_set ? - 집합,set
universal_class
universal_class ? - curr at / is_a 클래스,class
Grothendieck_universe //저아래
Herbrand_universe // 저아래
universal_set
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
universal_class
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
Grothendieck_universe //저아래
Herbrand_universe // 저아래
![[https]](/wiki/imgs/https.png)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
= https://en.wikipedia.org/wiki/Universe_(mathematics)
= https://en.wikipedia.org/wiki/Universe_(mathematics)
} // universe (of math, logic)
번역?
성질
일반적으로 (공간,space과 마찬가지)
일반적으로 (공간,space과 마찬가지)
- homogeneous - 균질성 동질성 homogeneity homogeneousness ..
homogen
- isotropic -
isotrop
universe's shape : https://en.wikipedia.org/wiki/Shape_of_the_universe
Up: 셰이프,shape 모양,moyang
미래,future, 운명,fate :
Up: 셰이프,shape 모양,moyang
Sub:
universe_of_discourse ... discoursal_universe?
discoursal
{
basic universe
https://proofwiki.org/wiki/Definition:Basic_Universe
xxx
https://en.wiktionary.org/wiki/basic_universe x 2023-12-11
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
번역어는?
basic_universe =,basic_universe =,basic_universe . basic_universe일단 universe에 앞서 discourse의 적절한 번역은?
{
basic universe
https://proofwiki.org/wiki/Definition:Basic_Universe
xxx
https://en.wiktionary.org/wiki/basic_universe x 2023-12-11
Grothendieck_universe =,Grothendieck_universe . Grothendieck_universe
{
Grothendieck universe
그로텐디크 유니버스
그로텐디크 우주
{
Grothendieck universe
그로텐디크 유니버스
그로텐디크 우주
Alexander_Grothendieck
} // ...
그로텐디크 유니버스
그로텐디크 유니버스
그로텐디크 유니버스 // "Grothendieck universe" ...
Grothendieck universe
Grothendieck universe
Grothendieck universe
} // ...
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Bing: Bing:](/wiki/imgs/interwiki/bing-16.png)
![Naver: Naver:](/wiki/imgs/interwiki/naver-16.png)
![YouTube: YouTube:](/wiki/imgs/interwiki/youtube-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Naver: Naver:](/wiki/imgs/interwiki/naver-16.png)
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
the set of all ground_term s ....
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
redir to
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
so rel. Herbrand_structure - 구조,structure
}
Herbrand_universe // Herbrand universe ....
Herbrand universe
Herbrand universe
Herbrand universe // ....
에르브랑 유니버스 ??
![Srch: Srch:](/wiki/imgs/interwiki/srch-16.png)
![NN: NN:](/wiki/imgs/interwiki/nn-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Bing: Bing:](/wiki/imgs/interwiki/bing-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
https://ko.wikipedia.org/wiki/구성_가능_전체
constructible_universe x 2024-02-08
"... 구성 가능성 공리(構成可能性公理, 영어: axiom of constructibility, ..."
https://en.wikipedia.org/wiki/Constructible_universeconstructibility_axiom =,constructibility_axiom . constructibility_axiom
{
axiom of constructibility
Up: 구성가능성,constructibility =,constructibility . constructibility {
constructibility } // constructibility
constructibility 공리,axiom
} // axiom of constructibility
axiom of constructibility
axiom of constructibility
Up: 구성가능성,constructibility =,constructibility . constructibility {
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
} // axiom of constructibility
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
"constructible universe (or Gödel's constructible universe)..."
"union of the constructible_hierarchy =,constructible_hierarchy . constructible_hierarchy { constructible hierarchy Up: 위계,hierarchy } // constructible hierarchy
constructible hierarchy
xxx"union of the constructible_hierarchy =,constructible_hierarchy . constructible_hierarchy { constructible hierarchy Up: 위계,hierarchy } // constructible hierarchy
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
von_Neumann_universe =,von_Neumann_universe . von_Neumann_universe
{
von Neumann universe
https://en.wikipedia.org/wiki/Von_Neumann_universe
{
von Neumann universe
https://en.wikipedia.org/wiki/Von_Neumann_universe
xxx
https://en.wiktionary.org/wiki/von_Neumann_universe x 2024-02-08
} // von Neumann universe
von Neumann universe
von Neumann universe
von Neumann universe
https://en.wiktionary.org/wiki/von_Neumann_universe x 2024-02-08
} // von Neumann universe
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Ndict: Ndict:](/wiki/imgs/interwiki/ndict-16.png)
![Naver: Naver:](/wiki/imgs/interwiki/naver-16.png)
MKL
유니버설,universal - universe의?
cosmos
cosmology { https://en.wikipedia.org/wiki/Cosmology }
시공간,spacetime - 시간,time 공간,space https://en.wikipedia.org/wiki/Spacetime
세계선,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 }
유니버설,universal - universe의?
cosmos
cosmology { https://en.wikipedia.org/wiki/Cosmology }
시공간,spacetime - 시간,time 공간,space https://en.wikipedia.org/wiki/Spacetime
세계선,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 }