존재성,existence

다른 가능한 pagename: 존재,existence (writing) - 저거로 바꿀까?

수학/수리논리학/논리학의 existence에 대해.

exist v.
existence n.

양화사 quantifier 기호는 ∃ (i.e. 존재기호existential_quantifier)





chk:
존재성이 있다 = 반드시/필연적으로 존재한다 vs 존재가능하다 ? 전자일듯?

존재가능성은 전혀 다른 표현? .... Google:존재성 존재가능성 Naver:존재성 존재가능성
존재가능성 의 영어 표현? ... Ndict:존재가능성 Google:존재가능성
별도의 단어는 없고 그냥 possibility of 붙이면 되나?


Cmp: 존재성+유일성
유일성,uniqueness (dual ?)
{
내생각에 다른 가능한번역들 (DELOK)
  • 단일성 ?? 글쎄 Ggl:단일성 NN:단일성보면 이건 '다른 게 섞이지 않은 순수한 단일성분으로만 이루어진...' 이런것도 나오긴 함

CMP 존재성,existence


rel
식별자,identifier 식별,identification 은 uniqueness 에 관련.
//from we = WpEn:Identifier
identifier :
"a 이름,name that identifies either a unique object or a unique class of objects"
즉 식별자란, (유일한 개체 or 유일한 (개체들의) 부류)를 식별해주는 이름.
"identifier labels the identity of (that object)."
식별자는 개체의 identity(아이덴티티, 정체, ...)를 label한다. - 즉 레이블,label을 붙인다.
}

chk
존재성이 있는 게 확실하다면 그 다음에 그것의 유일성을 따짐.
  • 존재성 : 0개인가 아닌가
  • 유일성 : 1개인가 2개 이상인가

... Ndict:존재성 유일성 Google:존재성 유일성

existence theorem

existence theorem
existence_theorem? =,existence_theorem . existence_theorem
WtEn:existence_theorem




Misc

수학에서 말하는 존재성은 물리에서 말하는 존재성과 그 뜻이 전혀 다르다.[1]


MKLINK

existential_quantifier
existential_quantification
Cmp: universal_quantification - not in RR
Up: quantification = logical_quantification { Srch:quantification ... WpKo:양화 }

존재를 없애는(removal)관련:
extinction / erasure / deletion / ....



----