Difference between r1.11 and the current

@@ -5,7 +5,7 @@

exist v.
existence n.

기호는 ∃ (i.e. [[존재기호existential_quantifier]])

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

----
backsrch [[존재성,existence]] or

@@ -30,6 +30,13 @@

Cmp: 존재성+유일성
[[유일성,uniqueness]] (dual ?)
{

내생각에 다른 가능한번역들 (DELOK)

* 단일성 ?? 글쎄 Ggl:단일성 NN:단일성 보면 이건 '다른 게 섞이지 않은 순수한 단일성분으로만 이루어진...' 이런것도 나오긴 함

CMP [[존재성,existence]]

cmp [[unity]] [[단위,unit]] [[하나,one]] [[유니터리,unitary]] ( [[유니터리성,unitarity]] and/or [[유니터리성,unitariness]] ) ....

rel
[[식별자,identifier]] [[식별,identification]] 은 uniqueness 에 관련.
//from we = WpEn:Identifier

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

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

exist v.
existence n.

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

backsrch 존재성,existence or

존재성

존재

existence

Existence

existence

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

존재가능성은 전혀 다른 표현? ....

존재성 존재가능성

존재가능성 의 영어 표현? ...

존재가능성

별도의 단어는 없고 그냥 possibility of 붙이면 되나?

Cmp: 존재성+유일성
유일성,uniqueness (dual ?)
{
내생각에 다른 가능한번역들 (DELOK)

단일성 ?? 글쎄 단일성 단일성보면 이건 '다른 게 섞이지 않은 순수한 단일성분으로만 이루어진...' 이런것도 나오긴 함

CMP 존재성,existence

cmp unity 단위,unit 하나,one 유니터리,unitary ( 유니터리성,unitarity and/or 유니터리성,unitariness ) ....

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
존재성이 있는 게 확실하다면 그 다음에 그것의 유일성을 따짐.