User blog comment:Tetramur/The new formalization of BEAF/@comment-35470197-20200222073359

> The recursive set

The description using "function" is circular logic because the resulting function corresponding to an expression refers to the notation itself, and does not give an algorithm.