User blog comment:JHeroJr/A computable function/@comment-34422464-20190623235636

You should probably define a fundamental sequence system with associated symbols.