The first part of the text focuses on pre-mathematical logic, including syntax, semantics, and inference. The author develops these topics entirely outside the mathematical paradigm. In the second part, the discussion of mathematics starts with axiomatic set theory and ends with advanced topics, such as the geometry of cubics, real and p-adic analysis, and the quadratic reciprocity law. The final part covers mathematical logic and offers a brief introduction to model theory and incompleteness.

Taking a formalist approach to the subject, this text shows students how to reconstruct mathematics from language itself. It helps them understand the mathematical discourse needed to advance in the field.