ABSTRACT
1. Intuitive metamathematics was developed by Hilbert and his school. Hilbert regarded metamathematics as a device to be employed in proving the consistency of the axioms of idealistic mathematics; he did not, however, attempt to formulate the methods of metamathematics precisely. Because of the development of elementary semantics the attempt to do so can be made successfully.
