introduction to metamathematics

amentally involves the study of mathematics through mathematical methods themselves. It is the investigation of the properties of mathematical theories, formal systems, and logical frameworks from a higher-level perspective. In ess