Before revision: A witness for the inconsistency of T is a particular proof of "0 = 1" in T. Boolos, Burgess, and Jeffrey (2002:81) define the notion of a witness with the example, in which S is an n-place relation on natural numbers, R is an n-place recursive relation, and ↔ indicates logical equivalence (if and only if): " S(x1, ..., xn) ↔ ∃y R(x1, .
After revision: A witness for the inconsistency of T is a particular proof of 0 = 1" in T. Boolos, Burgess, and Jeffrey (2002:81) define the notion of a witness with the example, in which S is an n-place relation on natural numbers, R is an n-place recursive relation, and ↔ indicates logical equivalence (if and only if): " S(x1, ..., xn) ↔ ∃y R(x1, .