Formal Mathematical System

A Formal Mathematical System is a formal system composed of a mathematical language and mathematical operation set to create mathematical arguments.

• AKA: Theory, Math Formalism, Framework.
• Context:
  • It can include a set of valid Mathematical Operations.
  • It can be an Axiomatic Mathematical Framework.
  • It can be analyzed by Theoretical Mathematics.
  • It can be represented by a Mathematical Software Program.
  • …
• Example(s):
  • an Arithmetic System.
  • an Algebraic System.
  • a Mathematical Modell.
  • an Abstract Rewriting System (ARS), such as string rewriting systems.
  • …
• Counter-Example(s):
  • a Logic System.
  • a Language System.
  • a Formal Computational System.
• See: Set System, Sigma Algebra.

---

---