ABSTRACT
1. The system of rational metamathematics can be regarded as a tool quite similar to a counting machine. The former enables us to obtain results in addition to those obtained by a counting machine. In particular this system can be utilized to obtain expressions which permit the prediction of other expressions at a later stage. While a counting machine permits the prediction of the results of definite experiences, namely of the results of counting, the scope of the experience which can be apprehended by the system of rational metamathematics cannot be established in advance.
