An atomic WFF is either a sentential symbol or an application atomic WEE The idea of this theorem is that since it is easier to count than to construct the

I want to review what 1 consider to be the important results of this paper. One is the observation that, when we reason, we use representations of the objects 11.2. Concluding remarks, history and thanks we are reasoning about as well as a representation of the facts about these objects.