Difference between r1.11 and the current
@@ -1,3 +1,24 @@
#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)
----
번역?우주 -
@@ -47,12 +68,30 @@
{
'''Grothendieck universe'''
그로텐디크 유니버스
https://en.wikipedia.org/wiki/Grothendieck_universe
https://ja.wikipedia.org/wiki/グロタンディーク宇宙
[[Alexander_Grothendieck]]
[[constructible_universe]] =,constructible_universe . constructible_universe
{
'''Grothendieck universe'''
그로텐디크 유니버스
그로텐디크 우주
https://en.wikipedia.org/wiki/Grothendieck_universe
https://ja.wikipedia.org/wiki/グロタンディーク宇宙
[[Alexander_Grothendieck]]
} ... Ggl:"그로텐디크 유니버스"
} // ... 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
{
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 }