Programming Language Theory FlashcardWhat is meta-mathematics?Properties 3Hide BooksChapter 3. Untyped arithmetic expressions ConceptsMeta-mathematics Deckother mathematicsQuestionWhat is meta-mathematics?AnswerA branch of meta-mathematics that studies about the properties of mathematical systems. Previous in FlashcardsWhat is macro expansion?Next in Flashcards What is notation scope in rocq? how to explicitly specify them?