Assertion: argument function | /r/CapableOf | follow for nonnegative integers m
Facets:
Source sentences:
text: Ackermann's original three-argument function φ ( m , n , p ) {\displaystyle \varphi (m,n,p)} is defined recursively as follows for nonnegative integers m, n, and p: