''다른 가능한 pagename: [[존재,existence]] (writing) - 저거로 바꿀까?''
----
수학/수리논리학/논리학의 '''existence'''에 대해.

exist v.
existence n.

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

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

Ndict:existence
WtEn:existence
WpEn:Existence
Google:existence

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

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

----
Cmp: 존재성+유일성 
[[유일성,uniqueness]] (dual ?)
{
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

https://everything2.com/title/Picard-Lindeloef+Theorem

Ggl:"existence theorem"

----
Misc

수학에서 말하는 '''존재성'''은 물리에서 말하는 존재성과 그 뜻이 전혀 다르다.[* (실수든 허수든,) "따지고 보면 모든 수는 상상의 산물이지 구체적으로 존재하는 그 무엇은 아니지 않은가." 박부성, https://terms.naver.com/entry.naver?docId=3570142&cid=58944&categoryId=58970]

----
MKLINK

[[existential_quantifier]]
 curr at [[존재기호existential_quantifier]]
 Cmp: [[universal_quantifier]] - curr at [[전칭기호universal_quantifier]]
 Up: [[quantifier]] = logical_quantifier - curr at [[한정기호_정량자_quantifier]], --[[양화사quantifier]]--(redir page)

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

----
... Ndict:존재성+existence Google:존재성+existence