Has a Mathematics Formulary been tried again?

At the beginning of the last century, the Italian mathematician Giuseppe Peano published a work (the Formulario Mathematico) which expresses in symbolic language a number of definitions and theorems to which demonstrations are attached. More precisely it starts with elementary logic, continues with algebra results and ends with differential calculus.

As an example, after the definition of the factorial, Peano immediately states a result due to Pascal.

What I like in this kind of book is the purity of mathematics in the sense that no exercise or example disturbs the content. Ideally, it should cover the broad outlines of the major fields of mathematics.

To my knowledge, no work of this type has been done since then except for a few result booklets written by Bourbaki as an introduction to the areas of mathematics they wanted to develop. Is this really the case?

• What exactly do you mean by formulary? Commented Feb 4, 2020 at 20:49
• A document presenting in an organized way formulas, thus in our case theorems.
– user601568
Commented Feb 4, 2020 at 20:54
• To what extent? Whole of mathematics known today; unlikely. Even for a single field this is nearly impossible to accomplish. The closest you could get is to look in a standard references of particular fields. Commented Feb 4, 2020 at 20:58
• So in less fancy language, you're looking for texts which just give lots of (definitions and) theorems (with or without proofs included?) - ideally covering the "fundamental" results of some of the "main" topics of mathematics. Is that accurate? Commented Feb 4, 2020 at 21:15
• If you are looking for something which starts from pure logic and tries to build up mathematics from there, perhaps you would be interested in reading recent formalization attempts? There's been a big push lately to translate math into a language computers can understand, which is pure logical syntax. Reading the code is more involved than reading a book, but it's a contemporary project that is possibly related to your interests. Lots of theorems have been formalized in this way, but there's still a lot of work to do Commented Feb 6, 2020 at 20:52