Assertion: church's function | /r/HasProperty | general recursive
Facets:
Source sentences:
text: Every effectively calculable function (effectively decidable predicate) is general recursive.