Maths›00. General Mathematics5.4 Meta-Mathematical AbstractionStudying mathematical systems themselves through languages, axioms, models, proofs, and interpretations.