 Now Meyer’s original approach to the natural numbers, that is R#, was axiomatic rather than model-theoretic. The axiomatic approach has also been taken in analysis by McKubre-Jordens and Weber (2012). In axiomatising analysis with a base of paraconsistent logic, their paper pushes Meyer’s approach to arithmetic via R# a long way further. These same authors (2017) rework the theory of integration as it was in Archimedes’ hands, which employs the method of exhaustion, using paraconsistent reasoning. This gives a result “up to inconsistency”, which means that one is able to prove “Classical result or contradiction”. The classical result can be then seen to be recapturable by the classical move disjunctive syllogism applied to the classically-false (inconsistent) second disjunct.