Monografie matematyczne 170x245 520 страниц. 1968 год. PWN Polish Scientific Publishers Metamathematics is a theory which deals with formalized mathematical theories. A formalized mathematical thory is, roughly speaking, a set of certain finite sequences of symbols, called formulas and terms, and of certain simple operations performed on those sequences. The forulas and terms are substitutes - formed by means of a few simple rules - of sentences and functions in an intuitive mathematical theory.