qqq 정의의 대상target or object은??
Sub:
recursive_definition
재귀적정의 recursive_definition ?
(위 둘 같은것?)
"a recursive definition, or inductive definition, " (we) - 는 같다고 함
이 때는 base_case (is:
경우,case) =,base_case . base_case
{
번역?
기본경우(????)
기초적경우?
base
basic
}// base case
intensional definition vs extensional definition ¶
정의가능성 definability ¶
Sub:
ordinal_definable_set =,ordinal_definable_set . ordinal_definable_set
{
ordinal definable set
ordinal definable adj.
순서수 정의 가능 집합 (wk)
Twins:
tmp bmks ko
수학백과: 구성 가능 집합(https://terms.naver.com/entry.naver?docId=5668898&cid=60207&categoryId=60207)에서 언급.
}
정리 할까말까? cleanup or del ¶
표기 ¶
A =
def B : "A는 B로 정의된다."
A: 피정의항
B: 정의항
피정의항 =def 정의항