 Unlike formal semantics and set theory, there may not be any obvious arithmetical principles that give rise to contradiction. Nonetheless, just like the classical non-standard models of arithmetic, there is a class of inconsistent models of arithmetic (or more accurately models of inconsistent arithmetic) which have an interesting and important mathematical structure.