# 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

Formulas in all mathematical fields are described in this book. Propositional formulas in mathematical logic are potentially of special interest. Using Formula Operator Theory, proofs of mathematical theorems will possibly be condensed. Formula Theory is a modern paradigm for mathematics, which is the basis of mathematics. That is Formula Theory, which is the basis on which mathematics starts.

This theory looks for mathematical formulas and all other objects which have different components (without the limit that a whole cannot be part of its part, which means that loops are not disallowed).

The Mathematics Research Book has a highly effective language which elegantly expresses vast quantities of knowledge in a few definitions and theorems. It is amazing that a sequence of equations can often be summed up by the lives of successive generations of great thinkers. The language economy masks the wealth and complexity of the thoughts behind the symbols.

Students should perceive the doors to extensive and fascinating questions in mathematics, while on the other hand they must remain anchored in mathematics and not lose them in the narcotic haze of speculation.

In order to understand axiomatic and the function and significance of each of the axioms necessary to determine theory, this book tried to provide the necessary context. This book has tried to give equal account of the theory of the infinities and other abstractions that lie at the heart of the formal process.

Of course, this book tried, above all, to present uncompromisingly rigorous and accurate facts and to show clearly that formalism on the one hand, and inductive explanations on that other, are within two distinct domains.

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

### Victor Porton

Your instructor is Victor Porton, the person who discovered *ordered
semigroup actions* (and wrote 500 pages about them), a theory as
general as group theory but unknown before. Victor Porton is a
programming languages polyglot, author of multitudinous softwares
and programming libraries, blockchain expert and winner of
multitudinous blockchain hackathons, author of several books,
a philosopher.

Victor Porton studied math in a university 4.5 years, but didn't receive a degree because of discrimination.