Some Basic Technical (Meta-)Mathematical Preliminaries for Cognitive Metamathematics

We present in a very concise manner fundamental (meta)mathematical domain-specific terminology needed for the Artificial Mathematical Intelligence program (Cognitive Metamathematics). Specifically, we briefly revise the notions of propositional and predicative logic, the most outstanding logical frameworks for modern mathematics (e.g., ZFC and NBG set theory, Peano arithmetic), and the notion of category and some of its derived notions. Moreover, a short description of fundamental algebraic, topological, and geometric notions is presented. For instance, the following notions are briefly introduced: (abelian) group, commutative ring with unity, localization, quotient ring, ideal, prime ideal, multiplicative ring, ring of polynomials in finitely many variables, field, field extension, group of automorphisms of a field (extension), (base for a) topological space, (ideal associated to a) algebraic set, ring of coordinates of an algebraic set, pre-sheaf and sheaf with values on the category of sets.