정의,definition

(resource 보기 전 내 생각)
정의이름,name -> 개념,concept or 대상,object or ....something or anything .... 으로의 바인딩,binding?
cs,pl에선 확실히 이렇다


qqq 정의의 대상target or object은??

'개념,concept을 정의한다'
... 대충 철학,philosophy쪽? i.e. 매우 일반적으로는.


Sub:

inductive_definition
귀납적정의 inductive_definition ? - 귀납,induction VG:귀납,induction

recursive_definition
재귀적정의 recursive_definition ?
(위 둘 같은것?)
"a recursive definition, or inductive definition, " (we) - 는 같다고 함
이 때는 base_case (is: 경우,case) =,base_case . base_case
{
번역?
기본경우(????)
기초적경우?
NdEn:base
NdEn:basic


WpEn:Base_case <- 두가지

"base case"
Naver:base case
Ggl:base case


}// base case


undefined =,undefined =,undefined . undefined
undef =,undef =,undef . undef
{
WtEn:undef ?

Sub:
undefined_variable - curr at 변수,variable
undefined_behavior =,undefined_behavior . undefined_behavior |=,UB UB
WtEn:undefined_behavior ?
https://en.wikipedia.org/wiki/Undefined_behavior
정의되지 않은 행동,behavior
컴퓨터 프로그램 얘기이므로 행동 대신 다른 것(동작, and? ...)으로 번역해도 무방

번역?
미정의 행동|동작?
비정의 행동/동작?
...
undefined의 번역을 먼저 생각해야 함.

Compare:
uninitialized (초기화,initialization되지 않은)
널,null
'아직 정의되지 않은 것'의 표시를 null로 하는 걸 많이 본 듯 한데 구체적 예시 보이면 추가


https://foldoc.org/undefined



well-definedness =,well-definedness . well-definedness
welldefinedness =,welldefinedness . welldefinedness
{
well-definedness n.
well-defined adj.


tmp
https://namu.wiki/w/동치관계#s-4.2 .....여기선 명확성으로 번역함.


well-defined_expression =,well-defined_expression . well-defined_expression
{
well-defined expression


Up:
well-definedness
식,expression
} // well-defined expression Ggl:well-defined expression



} // well-definedness Ggl:well-definedness Naver:well-definedness

circular_definition =,circular_definition =,circular_definition . circular_definition
{
https://en.wiktionary.org/wiki/circular_definition
}

정의가능성 definability

정의가능성,definability =정의가능성,definability =,definability 정의가능성 definability
{
WtEn:definability (뻔한말)
https://ncatlab.org/nlab/show/definability


집합,set:
정의가능집합,definable_set =정의가능집합,definable_set =,definable_set 정의가능집합 definable_set
{
definable set


Sub:
ordinal_definable_set =,ordinal_definable_set . ordinal_definable_set
{
ordinal definable set
ordinal definable adj.
순서수 정의 가능 집합 (wk)





Rel
구성가능집합,constructible_set =구성가능집합,constructible_set =,constructible_set 구성가능집합 constructible_set
{
constructible set


Twins:



"constructible set"
Ndict:constructible set
Ggl:constructible set
} // 구성가능집합

tmp bmks ko
[https]수학백과: 구성 가능 집합에서 언급.
}




정리 할까말까? cleanup or del


귀납,induction적 ie 수학적귀납법,mathematical_induction적 정의
VG: 귀납,induction적 ie VG: 수학적귀납법,mathematical_induction 적 정의 i.e. 재귀적 정의


Cmp

표기

A =def B : "A는 B로 정의된다."
A: 피정의항
B: 정의항

피정의항 =def 정의항

예:
총각 =def 결혼하지 않은 남자