Question

extremal 15 極値 自然数の集合は再帰的に定義でき、その中に最小性条項を持っているので、ここでは最小性条項は必要ではない、ということを注意せよ。

Accepted Answer

30344 極値 Note that here Extremal Clause is not necessary, because the set of natural numbers can be defined recursively and that has the extremal clause in it. コンピューター用語辞典

Lemma	extremal
Rank	30344
Frequency	15
Japanese	極値
Commentary	極値
Example(eng)	Note that here Extremal Clause is not necessary, because the set of natural numbers can be defined recursively and that has the extremal clause in it.
Example(Jpn)	自然数の集合は再帰的に定義でき、その中に最小性条項を持っているので、ここでは最小性条項は必要ではない、ということを注意せよ。
Source	コンピューター用語辞典

Extremal 極値 Clause Note Set Natural Numbers Defined