The paper builds on a mathematical structure called the Levi-Civita field, which is a carefully constructed number system that includes infinitely small and infinitely large quantities alongside ordinary real numbers. Unlike the more familiar nonstandard analysis, this field is built up explicitly and constructively, meaning every object in it can be described concretely without invoking abstract existence principles. This field already comes equipped with a working theory of measure and integration, including a powerful result called the Dominated Convergence Theorem, which gives conditions under which you can swap the order of taking a limit and computing an integral.
The paper then places this integration theory inside a framework called "Chunk and Permeate," which comes from paraconsistent logic. Paraconsistent logic is a branch of logic that tolerates contradictions in a controlled way without everything falling apart, since in classical logic a single contradiction allows you to prove anything. The Chunk and Permeate approach works by keeping two separate mathematical "chunks" with a controlled bridge between them. Here, one chunk is the Levi-Civita field with its exotic number system, and the other chunk is the ordinary real number line. A carefully defined rule called a permeability relation determines exactly what information is allowed to pass from one chunk to the other, specifically by extracting the "standard part" of a calculation, meaning the ordinary real number closest to an exotic one.
The payoff is that the Dominated Convergence Theorem, proven inside the exotic chunk, can be safely transported across the bridge into the classical chunk, recovering the standard real-analysis result. Crucially, this is achieved without the technical machinery that nonstandard analysis normally requires, such as ultrafilters or the axiom of choice in its stronger forms. The paper demonstrates that paraconsistent logic is not just a philosophical curiosity but a practical tool for building rigorous mathematical foundations, keeping any logical inconsistencies safely quarantined while still delivering classical theorems with full rigor.