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

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 acrylic 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.