User blog comment:Hyp cos/R function II/@comment-2033667-20150404211856/@comment-2033667-20150405233910

Well, this is a start, but it still has a ways to go. The explanation for S is pretty confusing to me. Have a look at this description of the syntax of second-order arithmetic, which is a good example of how to clearly define a formal language.