정의,definition

(resource 보기 전 내 생각)
정의이름,name -> 개념,concept or 대상,object or ....something or anything .... 으로의 바인딩,binding?

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 ?


Compare:
uninitialized (초기화,initialization되지 않은)
널,null




well-definedness =,well-definedness . 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




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 결혼하지 않은 남자