Assertion: function | /r/HasProperty | defined in any programming language
Facets:
Source sentences:
text: Clearly this space of functions is larger than the number of functions that can be defined in any programming language, as there exist only countably many programs (a program being a finite sequence of a finite number of symbols) and one of the set-theoretic functions effectively solves the halting problem.