Metamathematics provides the framework upon which we have built all of the structures that allow mathematics
Metamathematics provides the framework upon which we have built all of the structures that allow mathematics
Metamathematics is a field we’ll use freely but won’t study much. It does provide the following definitions, requirements, and theorems: