*Mathematicians managed to study almost everything, the thing they missed was study of formulas.*

**Solve Complex Formulas in Programming with the Axiomatic Theory of Formulas**

Our Math research monograph book has logical theory of the formulas (also called expressions in programming) of the mathematical forms. In all fields of mathematics formulas are met. It is a modern paradigm for mathematical logic, the basis of mathematics. It is therefore the base of the mathematical universe.

This Mathematical research monograph has an important aspect of type theory is the specialty that applies more sub expressions to expressions. This book is called a specialization. For example, if+ means an Abelian group operation, + 1 (+ with the additional sub form’ 1′) means, for example, the addition of real numbers, which is a group operation specialization, etc. Instead of variable substitution, specialization may be used.

Organized Mathematical research book contains a new formula theory, which contains infinite logical formulas, philosophy (“formalism”) of what cannot be written, because infinite formulae are not physical objects. Thus this theory moves forward the mathematical philosophy making mathematics easier to understand and more practical.

Furthermore there are any objects with different types of constituent parts (without the restriction that an entire part cannot be part of it, which means that loops are allowed). Consider, for example, the relationship between objects in a computer’s memory or electronic schema components connected with different types of links.

It is the perfect combination of the abstract facts that is unique to Axiomatic Theory of Formulas. The concepts the theory and the ideas behind many of the evidence show up in vivid detail to the inner eye. These images are not as visual as geometry or calculus images.

Formulas are the foundation of all disciplines of science, constructed using symbols and formulation rules of a given language. Mathematical formulas are the basis of math logic and this book researches the properties of mathematical formulas using the Axiomatic Theory of Formula. Using this new mathematical theory, the author aims to simplify the proofs of math logic theorems, changing the philosophy of mathematics.

The theory presents a new take on mathematical formulas by allowing the research of objects which have constituent parts of different kinds. This is particularly useful in deciphering computer expressions; the theory takes into account relations between different objects in the computer memory, formulas in programming, electronic schemes, and any other objects having constituent parts.

What’s more is that the Theory of Formulas isn’t limited to acyclic or finite formulas; it also models cyclic and infinite formulas. The book discusses the theory of constructs, the new axiomatic theory and its specialization.

This new mathematical theory developed by the book author researches the properties of mathematical formulas (aka expressions). Naturally this theory is essential for the mathematics.

Formulas are encountered in all areas of mathematics. Probably of special interest are propositional formulas in math logic. Using this Theory of Formulas may probably simplify proofs of math logic theorems.

The Theory of Formulas is a new foundation for math logic which is the foundation of mathematics. That is the Theory of Formulas is the foundation of the foundation of mathematics.

This theory researches mathematical formulas as well as any other objects which have constituent parts of different kinds (without the limit that a whole cannot be a part of its part, that is loops are not disallowed). For example, consider relations between objects in the memory of a computer or components of an electronic scheme connected with different kinds of links.

The Theory of Formulas is not limited only to finite neither only to acyclic formulas. Infinite and cyclic (e.g. a(b(a(b(…))))) formulas are also modeled by this theory. A common example of a system of infinite formulas is the set of irrational numbers. Another example of an infinite formula may be the entire mathematics in the form of some formalism (e.g. all groups of Group Theory).

This book contains a new axiomatic theory, the theory of constructs, and its specializations, including the theory of formulas:

- Informally, a construct is anything what has indexed components (parts). E.g., the a-(b+c) can be considered as a construct which has “a” as the part with index 1, “-” as the part with index 2, and (b+c) (a subformula) as the part with index 3.
- Formulas is a particular case of constructs. Informally, a formula is a construct which contains symbols. E.g. a-(b+c) would be a formula which contains symbols such as a, b, c, +, -.

To increase flexibility and power of the theory I study functions on the sets of constructs rather than the constructs themselves. So different kinds of constructs can be researched with a uniform method.

An important aspect of the theory of formulas accordingly this book is so called specialization that is adding additional subexpressions to expressions. For example if + would mean an abelian group operation, +1 (+ with added additional subformula “1”) would mean e.g. addition of whole numbers which is a specialization of abelian group operation etc. Specialization can be used instead of variable substitution.

Recall that formalist philosophy is a school in philosophy of mathematics which considers mathematical formulas as physical objects. For this new theory of formulas which includes infinite logical formulas that philosophy (“formalism”) is not applicable as infinite formulas cannot be written and are not physical objects in this sense. So this theory also changes the philosophy of mathematics.