Sub: - 모두 w
universal_set universal_set ? - 집합,set
universal_class universal_class ? - curr at / is_a 클래스,class
Grothendieck_universe //저아래
Herbrand_universe // 저아래
universal_set universal_set ? - 집합,set
universal_class 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_(Set_Theory)
Universe_(mathematics)
= https://en.wikipedia.org/wiki/Universe_(mathematics)
= https://en.wikipedia.org/wiki/Universe_(mathematics)
= 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
번역어는?
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
} // ... 그로텐디크 유니버스 그로텐디크 유니버스 그로텐디크 유니버스 // "Grothendieck universe" ... Grothendieck universe Grothendieck universe Grothendieck universe
Herbrand_universe
redir to
Herbrand_structure
so rel. Herbrand_structure - 구조,structure
the set of all ground_term s ....
Herbrand_universeredir to
Herbrand_structure
so rel. Herbrand_structure - 구조,structure
} Herbrand_universe // Herbrand universe .... Herbrand universe Herbrand universe Herbrand universe // .... 에르브랑 유니버스 ??
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 { constructibility } // constructibility constructibility 공리,axiom
} // axiom of constructibility axiom of constructibility
"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 constructible hierarchy
constructible_universe x 2024-02-08
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 von Neumann universe von Neumann universe von Neumann universe
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 }