what is the order of the logic and the multi-sortedness of the structures required for rigorous math in ...

57 Views Asked by At

Might be a not well-posed question but I hope it makes sense and can be clearly answered. Iwant to know what is the order of the logic required to work with the following areas of mathematics, to write their theorems , proving them, and how do their structures (as a base set(s), functions, realtions) look like.

  • Linear algebra
  • mathematical analysis (real analysis)

and most important

  • differential geometry
  • functional analysis