# Axiomatic Theory of Formulas

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

## Algebraic Theory of Formulas

This is a partially written (but already useful as a studybook and rigid concerning mathematical definitions and theorem proofs) book introducing my theory of infinite formulas - formulas having infinitely many parts. The possible application are yet investigated, but it seems that this theory will be invaluable for chip design and software engineering, as well as for mathematical logic.

## Book description

In Axiomatic Theory of Formulas: Algebraic Theory of Formulas (Mathematics), author Victor Lvovich Porton introduces the axiomatic theory of formulas, a novel approach to understanding and describing mathematical objects. This framework encompasses formulas from various mathematical disciplines, with a specific focus on propositional formulas in mathematical logic.

The core concept of the Formula Operator Theory is presented, offering the potential to streamline proofs of mathematical theorems. This theory positions Formula Theory as a foundational paradigm for mathematics, laying the groundwork for future mathematical endeavors.

Formulated within this framework, objects are defined as formulas with distinct components, allowing for complex structures without violating the principle of non-self-reference (i.e., loops and other infinite structures are permitted).

Author Victor Porton uses concise and effective language, expressing complex mathematical concepts through a limited set of definitions and theorems. He aims to foster a deeper understanding of the relationship between mathematical notation and the underlying ideas.

While acknowledging the potential for exploration and inquiry, the book emphasizes the importance of maintaining a rigorous and grounded approach in mathematical exploration.

Axiomatic Theory of Formulas: Algebraic Theory of Formulas (Mathematics) aimed at presenting uncompromisingly rigorous and accurate facts, demonstrating that formalism and inductive explanations operate within distinct yet complementary domains.

Purchasing this book, you support carbon accounting and DeSci (decentralized science).

### Victor Porton

Victor Lvovich Porton is a self-taught mathematician, researcher, author of multiple published books, and CEO of Zon Social Network, with a fervent passion for revolutionizing the field. Despite embarking on a 4.5-year mathematics program, his studies were unfortunately cut short due to discrimination. However, this setback did not deter his pursuit of knowledge. Learn More ..