수학/수리논리학/논리학의 existence에 대해.
exist v.
existence n.
chk:
존재성이 있다 = 반드시/필연적으로 존재한다 vs 존재가능하다 ? 전자일듯?
Cmp: 존재성+유일성
유일성,uniqueness (dual ?)
{
rel
식별자,identifier 식별,identification 은 uniqueness 에 관련.
//from we =
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개 이상인가
...
존재성 유일성 존재성 유일성
existence theorem ¶
Misc
수학에서 말하는 존재성은 물리에서 말하는 존재성과 그 뜻이 전혀 다르다.
MKLINK