User blog comment:MilkyWay90/Math number/@comment-35392788-20180902214346/@comment-36540075-20180905015750

You also need semantics, how a structure interprets a sentence and gives it a truth value. I think it's great that you excersized your creative efforts into Rayo-like functions, and attempting to create formal logics. You are clearly improving quite a bit from your start, and I think you should be commended for that. Good job!