Metadata
Author: WikiMatrix
Data
English[en]
In set theory, this is a theorem guaranteeing that recursively defined functions exist.
Indonesian[id]
Dalam teori himpunan, ini adalah teorema yang menjamin bahwa fungsi yang terdefinisi secara rekursif itu ada.